Recursive program schemes : semantics and proof theory

W.P. Roever, de

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

53 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • de Bakker, Jaco W., Promotor, External person
  • Park, D.M.R., Copromotor, External person
Award date17 Jan 1975
Place of PublicationAmsterdam
Publisher
Publication statusPublished - 1974
Externally publishedYes

Bibliographical note

Proefschrift Vrije Universiteit Amsterdam.

Cite this