Matches in DBpedia 2016-04 for { <http://www.diku.dk/hjemmesider/ansatte/andrzej/papers/ADAoUNbE.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- ADAoUNbE.pdf author "Filinski, Andrzej".
- ADAoUNbE.pdf author2 "Rohde, Henning Korsholm".
- ADAoUNbE.pdf format "PDF".
- ADAoUNbE.pdf isCitedBy Normalisation_by_evaluation.
- ADAoUNbE.pdf journal Foundations_of_Software_Science_and_Computation_Structures.
- ADAoUNbE.pdf title "A denotational account of untyped normalization by evaluation".
- ADAoUNbE.pdf url "http://www.diku.dk/hjemmesider/ansatte/andrzej/papers/ADAoUNbE.pdf".
- ADAoUNbE.pdf year "2004".