Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-2-87209-363-2> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- books?vid=ISBN978-2-87209-363-2 author "edited by Ph. de Groote.".
- books?vid=ISBN978-2-87209-363-2 chapter "On the Correspondence between Proofs and Lambda-Terms".
- books?vid=ISBN978-2-87209-363-2 chapter "On the roles of types in mathematics".
- books?vid=ISBN978-2-87209-363-2 chapter "The Calculus of Constructions and Higher Order Logic".
- books?vid=ISBN978-2-87209-363-2 chapterurl "ftp://ftp.cis.upenn.edu/pub/papers/gallier/cahiers.pdf".
- books?vid=ISBN978-2-87209-363-2 chapterurl 597627.pdf.
- books?vid=ISBN978-2-87209-363-2 editor1First "Philippe de".
- books?vid=ISBN978-2-87209-363-2 editor1First "Philippe".
- books?vid=ISBN978-2-87209-363-2 editor1Last "De Groote".
- books?vid=ISBN978-2-87209-363-2 editor1Last "Groote".
- books?vid=ISBN978-2-87209-363-2 first1 "Herman".
- books?vid=ISBN978-2-87209-363-2 first1 "Jean H.".
- books?vid=ISBN978-2-87209-363-2 first1 "Nicolaas Govert".
- books?vid=ISBN978-2-87209-363-2 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN978-2-87209-363-2 isbn "978-2-87209-363-2".
- books?vid=ISBN978-2-87209-363-2 last1 "De Bruijn".
- books?vid=ISBN978-2-87209-363-2 last1 "Gallier".
- books?vid=ISBN978-2-87209-363-2 last1 "Geuvers".
- books?vid=ISBN978-2-87209-363-2 pages "139–191".
- books?vid=ISBN978-2-87209-363-2 pages "27–54".
- books?vid=ISBN978-2-87209-363-2 pages "55–138".
- books?vid=ISBN978-2-87209-363-2 publisher "Academia-Bruyland".
- books?vid=ISBN978-2-87209-363-2 publisher "Academia-Bruylant".
- books?vid=ISBN978-2-87209-363-2 series "Cahiers du Centre de Logique".
- books?vid=ISBN978-2-87209-363-2 series "Cahiers du Centre de logique".
- books?vid=ISBN978-2-87209-363-2 title "The Curry–Howard Isomorphism".
- books?vid=ISBN978-2-87209-363-2 title "The Curry–Howard isomorphism".
- books?vid=ISBN978-2-87209-363-2 volume "8".
- books?vid=ISBN978-2-87209-363-2 year "1995".