Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-90-9022446-6> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- books?vid=ISBN978-90-9022446-6 author "Jan Willem Klop".
- books?vid=ISBN978-90-9022446-6 contribution "New Fixed Point Combinators From Old".
- books?vid=ISBN978-90-9022446-6 contributionUrl art16_klop.pdf.
- books?vid=ISBN978-90-9022446-6 editor "Erik Barendsen and Herman Geuvers and Venanzio Capretta and Milad Niqui".
- books?vid=ISBN978-90-9022446-6 editor "Erik Barendsen and Herman Geuvers and Venanzio Capretta and Milad Niqui".
- books?vid=ISBN978-90-9022446-6 isCitedBy Henk_Barendregt.
- books?vid=ISBN978-90-9022446-6 isCitedBy Jan_Willem_Klop.
- books?vid=ISBN978-90-9022446-6 isbn "978-90-9022446-6".
- books?vid=ISBN978-90-9022446-6 pages "197–210".
- books?vid=ISBN978-90-9022446-6 publisher "University Nijmegen".
- books?vid=ISBN978-90-9022446-6 title "Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday".
- books?vid=ISBN978-90-9022446-6 title "Reflections on Type Theory, Lambda Calculus, and the Mind — Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday]".
- books?vid=ISBN978-90-9022446-6 url essays.
- books?vid=ISBN978-90-9022446-6 year "2007".