Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn

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

rdfs:label	"Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn"
schema:name	"Lectures on the Curry-Howard isomorphism"
schema:author	Sørensen, Morten Heine
schema:contributor	Urzyczyn, Paweł
schema:sameAs	<http://www.worldcat.org/oclc/70158578>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/49f4563a74cc3bd9be6a86d0427fa80a>
http://purl.org/dc/terms#issued	"2006"
schema:about	<http://data.bibliotheken.nl/id/thes/p077601874>
	Programmeren (computers)
	Lambda-calculus
schema:associatedMedia	<http://www.loc.gov/catdir/enhancements/fy0661/2006048390-d.html>
	<http://catdir.loc.gov/catdir/enhancements/fy0661/2006048390-d.html>
schema:inLanguage	"en"
schema:isPartOf	Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.]
schema:isbn	"9780444520777"
	"0444520775"
schema:numberOfPages	442
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/9b5cf2b8d8c71e619353cacb742ced79>