Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bfb0014049> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- bfb0014049 author "J. Despeyroux, A. Felty, A. Hirschowitz".
- bfb0014049 doi "10.1007/BFb0014049".
- bfb0014049 isCitedBy Higher-order_abstract_syntax.
- bfb0014049 isbn "3-540-59048-X".
- bfb0014049 journal Lecture_Notes_in_Computer_Science.
- bfb0014049 pages "124–138".
- bfb0014049 title "Higher-Order Abstract Syntax in Coq".
- bfb0014049 url tlca95.ps.
- bfb0014049 volume "902".
- bfb0014049 year "1995".