Matches in DBpedia 2016-04 for { <http://doi.org/10.1017/s0956796802004501> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- s0956796802004501 doi "10.1017/S0956796802004501".
- s0956796802004501 first1 "Gilles".
- s0956796802004501 first2 "Venanzio".
- s0956796802004501 first3 "Olivier".
- s0956796802004501 isCitedBy Setoid.
- s0956796802004501 issue "2".
- s0956796802004501 journal "Journal of Functional Programming".
- s0956796802004501 last1 "Barthe".
- s0956796802004501 last2 "Capretta".
- s0956796802004501 last3 "Pons".
- s0956796802004501 mr "1985376".
- s0956796802004501 pages "261–293".
- s0956796802004501 title "Setoids in type theory".
- s0956796802004501 url Setoids_JFP_2003.pdf.
- s0956796802004501 volume "13".
- s0956796802004501 year "2003".