Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 author "H. Barendregt".
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 chapter "Lambda calculi with types".
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 chapterurl "ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps".
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 editor "S. Abramsky, D. Gabbay and T. Maibaum".
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 isCitedBy Pure_type_system.
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 publisher Oxford_University_Press.
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 title "Handbook of Logic in Computer Science".
- 1e5e1e76a87b55a1a9ebd5ad93b951071ccb00cc3ae57d2e74f602fed63f6391 year "1992".