Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow

J. Zwanenburg

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

183 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
  • Kruseman Aretz, Frans, Promotor
  • Barendregt, H.P., Promotor, External person
  • Hemerik, Kees, Copromotor
Award date1 Dec 1999
Place of PublicationEindhoven
Print ISBNs90-386-0731-8
Publication statusPublished - 1999

Cite this