Skip to main navigation Skip to search Skip to main content

The Buridan-Volpin Derivation System: Properties and Justication

  • Sven Storms

    Research output: ThesisDoctoral Thesis

    333 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Tilburg University
    Supervisors/Advisors
    • Buekens, Filip, Promotor
    • de Swart, Harrie, Promotor
    Award date4 May 2022
    Publication statusPublished - 2022

    Cite this