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