scholarly journals Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]

2008 ◽  
Vol 403 (2-3) ◽  
pp. 409-415
Author(s):  
Stefan Milius ◽  
Lawrence S. Moss
Keyword(s):  
Recursive Program ◽  
Theoretic Solution

scholarly journals The category-theoretic solution of recursive program schemes

2006 ◽  
Vol 366 (1-2) ◽  
pp. 3-59 ◽  
Author(s):  
Stefan Milius ◽  
Lawrence S. Moss
Keyword(s):  
Recursive Program ◽  
Theoretic Solution

scholarly journals The category-theoretic solution of recursive metric-space equations

2010 ◽  
Vol 411 (47) ◽  
pp. 4102-4122 ◽  
Author(s):  
Lars Birkedal ◽  
Kristian Støvring ◽  
Jacob Thamsborg
Keyword(s):  
Metric Space ◽  
Theoretic Solution
Sign in / Sign up

Export Citation Format

Share Document