2 search results - page 1 / 1 » The category-theoretic solution of recursive metric-space eq... |
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
FOSSACS
2009
Springer
14 years 7 days ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....