Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-12-349050-6> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- books?vid=ISBN978-0-12-349050-6 chapter "The formulae-as-types notion of construction".
- books?vid=ISBN978-0-12-349050-6 date "September 1980".
- books?vid=ISBN978-0-12-349050-6 editor1First "J. Roger".
- books?vid=ISBN978-0-12-349050-6 editor1First "Jonathan P.".
- books?vid=ISBN978-0-12-349050-6 editor1Last "Hindley".
- books?vid=ISBN978-0-12-349050-6 editor1Last "Seldin".
- books?vid=ISBN978-0-12-349050-6 editor1Link "J. Roger Hindley".
- books?vid=ISBN978-0-12-349050-6 editor1Link "Jonathan P. Seldin".
- books?vid=ISBN978-0-12-349050-6 editor2First "J. Roger".
- books?vid=ISBN978-0-12-349050-6 editor2First "Jonathan P.".
- books?vid=ISBN978-0-12-349050-6 editor2Last "Hindley".
- books?vid=ISBN978-0-12-349050-6 editor2Last "Seldin".
- books?vid=ISBN978-0-12-349050-6 editor2Link "J. Roger Hindley".
- books?vid=ISBN978-0-12-349050-6 editor2Link "Jonathan P. Seldin".
- books?vid=ISBN978-0-12-349050-6 first1 "William A.".
- books?vid=ISBN978-0-12-349050-6 isCitedBy Applicative_computing_systems.
- books?vid=ISBN978-0-12-349050-6 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN978-0-12-349050-6 isbn "978-0-12-349050-6".
- books?vid=ISBN978-0-12-349050-6 last1 "Howard".
- books?vid=ISBN978-0-12-349050-6 location "Boston, MA".
- books?vid=ISBN978-0-12-349050-6 origyear "original paper manuscript from 1969".
- books?vid=ISBN978-0-12-349050-6 pages "479–490".
- books?vid=ISBN978-0-12-349050-6 publisher Academic_Press.
- books?vid=ISBN978-0-12-349050-6 title "To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism".
- books?vid=ISBN978-0-12-349050-6 title "To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism".