Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severi

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

Proefschrift Technische Universiteit Eindhoven

rdfs:label	"Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severi"
schema:name	"Normalisation in lambda calculus and its relation to type inference"
schema:author	Severi, Paula Gabriela
schema:description	"Proefschrift Technische Universiteit Eindhoven"
schema:sameAs	<http://www.worldcat.org/oclc/905504057>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/b58b930ec01bfb5cbab94bbac93dfcf0>
http://purl.org/dc/terms#issued	"1996"
schema:about	<http://data.bibliotheken.nl/id/thes/p077601874>
	zuivere wiskunde
	Lambda-calculus
	Normalization
schema:inLanguage	"en"
schema:isbn	"9038602189"
schema:numberOfPages	201
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/1b66ec136e7d93606828b80335c20bee>