Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-60164-3_28> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 3-540-60164-3_28 chapter "Decomposing typed lambda calculus into a couple of categorical programming languages".
- 3-540-60164-3_28 doi "10.1007/3-540-60164-3_28".
- 3-540-60164-3_28 first1 "M.".
- 3-540-60164-3_28 isCitedBy Kappa_calculus.
- 3-540-60164-3_28 isbn "978-3-540-60164-7".
- 3-540-60164-3_28 last1 "Hasegawa".
- 3-540-60164-3_28 pages "200".
- 3-540-60164-3_28 series "Lecture Notes in Computer Science".
- 3-540-60164-3_28 title "Category Theory and Computer Science".
- 3-540-60164-3_28 volume "953".
- 3-540-60164-3_28 year "1995".