Johan Glimming

According to our database¹, Johan Glimming authored at least 3 papers between 2004 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus.

[BibT_eX]

[DOI]

PhD thesis, 2007

Parametric (Co)Iteration vs. Primitive Direcursion.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2004

Difunctorial Semantics of Object Calculus.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004