A programming logic based on type theory

E. Poll

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

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

Cite this