Difunctorial Semantics of Object Calculus. - Johan Glimming; Neil Ghani (WOOD, 2004)

Parametric (Co)Iteration vs. Primitive Direcursion. - Johan Glimming (CALCO, 2007)

Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus. - Johan Glimming (2007)