Matches in DBpedia 2016-04 for { <http://doi.org/10.1017/s0956796898002998> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s0956796898002998 doi "10.1017/s0956796898002998".
- s0956796898002998 isCitedBy Curry–Howard_correspondence.
- s0956796898002998 journal "Journal of Functional Programming".
- s0956796898002998 last "Benton".
- s0956796898002998 last2 "Bierman".
- s0956796898002998 last3 "de Paiva".
- s0956796898002998 pages "177–193".
- s0956796898002998 title "Computational types from a logical perspective".
- s0956796898002998 volume "8".
- s0956796898002998 year "1998".