Recursive program schemes: semantics and proof theory

Additional Metadata
Publisher	Centrum Voor Wiskunde en Informatica
ISBN	978-90-6196-127-7
Series	MC Tracts
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Roever, W. P. (1976). Recursive program schemes: semantics and proof theory. MC Tracts. Centrum Voor Wiskunde en Informatica.

Publication