Matches in DBpedia 2016-04 for { <http://www.tcs.informatik.uni-muenchen.de/~abel/univnbe.pdf> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- univnbe.pdf author "Abel, Andreas".
- univnbe.pdf author2 "Coquand, Thierry".
- univnbe.pdf author3 "Dybjer, Peter".
- univnbe.pdf format "PDF".
- univnbe.pdf isCitedBy Normalisation_by_evaluation.
- univnbe.pdf journal Logic_in_Computer_Science.
- univnbe.pdf title "Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements".
- univnbe.pdf url "http://www.tcs.informatik.uni-muenchen.de/~abel/univnbe.pdf".
- univnbe.pdf year "2007".