A programming logic based on type theory

E. Poll

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

541 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Kruseman Aretz, Frans E.J., Promotor
  • Barendregt, H.P., Promotor, External person
  • Hemerik, C. (Kees), Copromotor
Award date5 Oct 1994
Place of PublicationEindhoven
Publication statusPublished - 1994

Cite this

Poll, E. (1994). A programming logic based on type theory. Technische Universiteit Eindhoven. https://doi.org/10.6100/IR423044