Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c authorlink "Henk Barendregt".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c chapter "Lambda calculi with types".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c chapterurl "ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c editors "S. Abramsky, D. Gabbay and T. Maibaum".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c first "Henk".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c isCitedBy System_U.
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c last "Barendregt".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c pages "117–309".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c publisher Oxford_University_Press.
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c title "Handbook of Logic in Computer Science".
- 4b6051c682a0f53fd749ba713603a9575c97e949157157961f38fbb571250b9c year "1992".