Matches in DBpedia 2015-10 for { <http://www.cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/conor-elimination.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- conor-elimination.pdf author1 "Conor McBride".
- conor-elimination.pdf authormask1 "–".
- conor-elimination.pdf chapter "Elimination with a Motive".
- conor-elimination.pdf isCitedBy Conor_McBride.
- conor-elimination.pdf pages "197–216".
- conor-elimination.pdf series "Lecture Notes in Computer Science".
- conor-elimination.pdf title "Types for Proofs and Programs".
- conor-elimination.pdf url conor-elimination.pdf.
- conor-elimination.pdf volume "2277".
- conor-elimination.pdf year "2002".