2007 | ||
---|---|---|
2 | EE | Johan Glimming: Parametric (Co)Iteration vs. Primitive Direcursion. CALCO 2007: 257-278 |
2005 | ||
1 | EE | Johan Glimming, Neil Ghani: Difunctorial Semantics of Object Calculus. Electr. Notes Theor. Comput. Sci. 138(2): 79-94 (2005) |
1 | Neil Ghani | [1] |