Matches in DBpedia 2015-10 for { <http://www.barzilay.org/misc/hoas-paper.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- hoas-paper.pdf author "Eli Barzilay, Stuart Allen".
- hoas-paper.pdf conference "Theorem Proving in Higher-Order Logics 2002".
- hoas-paper.pdf id "ISBN 3-540-44039-9".
- hoas-paper.pdf isCitedBy Higher-order_abstract_syntax.
- hoas-paper.pdf pages "23–32".
- hoas-paper.pdf title "Reflecting Higher-Order Abstract Syntax in Nuprl".
- hoas-paper.pdf url hoas-paper.pdf.
- hoas-paper.pdf year "2002".