Matches in DBpedia 2015-10 for { <http://www.itu.dk/people/sestoft/papers/sestoft-lamreduce.pdf> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- sestoft-lamreduce.pdf editor1First "T".
- sestoft-lamreduce.pdf editor1Last "Mogensen".
- sestoft-lamreduce.pdf editor2First "D".
- sestoft-lamreduce.pdf editor2Last "Schmidt".
- sestoft-lamreduce.pdf editor3First "I. H.".
- sestoft-lamreduce.pdf editor3Last "Sudborough".
- sestoft-lamreduce.pdf first "Peter".
- sestoft-lamreduce.pdf format "PDF".
- sestoft-lamreduce.pdf isCitedBy Evaluation_strategy.
- sestoft-lamreduce.pdf isbn "3-540-00326-6".
- sestoft-lamreduce.pdf last "Sestoft".
- sestoft-lamreduce.pdf pages "420–435".
- sestoft-lamreduce.pdf publisher "Springer-Verlag".
- sestoft-lamreduce.pdf series "Lecture Notes in Computer Science".
- sestoft-lamreduce.pdf title "Demonstrating Lambda Calculus Reduction".
- sestoft-lamreduce.pdf url sestoft-lamreduce.pdf.
- sestoft-lamreduce.pdf volume "2566".
- sestoft-lamreduce.pdf work "The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones.".
- sestoft-lamreduce.pdf year "2002".