Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s001650200016> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- s001650200016 author "Murdoch J. Gabbay and Andrew M. Pitts".
- s001650200016 doi "10.1007/s001650200016".
- s001650200016 isCitedBy Nominal_techniques.
- s001650200016 issue "3–5".
- s001650200016 journal "Formal Aspects of Computing".
- s001650200016 pages "341–363".
- s001650200016 title "A NEW approach to abstract syntax with variable binders".
- s001650200016 volume "13".
- s001650200016 year "2002".