Relating Proof Systems for Recursive Types

C.A. Grabmayer

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

49 Downloads (Pure)
Original languageEnglish
Awarding Institution
  • Vrije Universiteit Amsterdam
  • Klop, J.W., Supervisor
  • de Vrijer, R.C., Co-supervisor
Place of PublicationVrije Universiteit
Publication statusPublished - 2005

Bibliographical note

Naam instelling promotie: Vrije Universiteit
Naam instelling onderzoek: Vrije Universiteit

Cite this