Lambda calculus with explicit recursion / Z.M. Ariola, J.W. Klop

<http://data.bibliotheken.nl/id/nbt/p15693244X>

schema:Book schema:CreativeWork schema:ProductModel

Ook verschenen als uitg. van: Amsterdam : Centrum voor Wiskunde en Informatica, 1996. - (Report / Computer Science/Department of Software Technology, ISSN 0169-118X ; CS-R9651)

rdfs:label	"Lambda calculus with explicit recursion / Z.M. Ariola, J.W. Klop"
schema:name	"Lambda calculus with explicit recursion"
schema:author	Vrije Universiteit (Amsterdam). Faculteit der Wiskunde en Informatica
	Ariola, Zena M.
schema:contributor	Klop, Jan Willem (1945-)
schema:description	"Ook verschenen als uitg. van: Amsterdam : Centrum voor Wiskunde en Informatica, 1996. - (Report / Computer Science/Department of Software Technology, ISSN 0169-118X ; CS-R9651)"
schema:sameAs	<http://www.worldcat.org/oclc/68606719>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/096900aaf0b0818a5bd0508c48ef7d01>
http://purl.org/dc/terms#issued	"1997"
schema:about	programmeren
	wiskundige logica
schema:inLanguage	"en"
schema:isPartOf	Informatica rapport / Wiskundig Seminarium der Vrije Universiteit
schema:numberOfPages	75
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/f18a3d05f6b6804d5486ce02a7a26453>