Higher-order subtyping with intersection types / Adriana Beatriz Compagnoni

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

Proefschrift Katholieke Universiteit Nijmegen

rdfs:label	"Higher-order subtyping with intersection types / Adriana Beatriz Compagnoni"
schema:name	"Higher-order subtyping with intersection types"
schema:author	Compagnoni, Adriana Beatriz (1965-)
schema:description	"Proefschrift Katholieke Universiteit Nijmegen"
schema:sameAs	<http://www.worldcat.org/oclc/69202045>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/20e4aab931c40b6c2ccf5de8f2885417>
http://purl.org/dc/terms#issued	"1995"
schema:about	<http://data.bibliotheken.nl/id/thes/p077605179>
	wiskundige logica
	Lambda-calculus
schema:inLanguage	"en"
schema:isbn	"9090078606"
schema:numberOfPages	160
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/7e33b145d67ed298b20bee8e783fd5da>