Matches in DBpedia 2016-04 for { <http://www.ens-lyon.fr/denif/data/martin_lof_prog/1990/contenu/book.pdf> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- book.pdf first1 "Bengt".
- book.pdf first2 "Kent".
- book.pdf first3 "Jan M.".
- book.pdf isCitedBy Per_Martin-Löf.
- book.pdf last1 "Nordström".
- book.pdf last2 "Petersson".
- book.pdf last3 "Smith".
- book.pdf publisher "Oxford University Press".
- book.pdf title "Programming in Martin-Löf ’s Type Theory: An Introduction".
- book.pdf url "http://www.ens-lyon.fr/denif/data/martin_lof_prog/1990/contenu/book.pdf".
- book.pdf year "1990".