Johan Georg Granström

Affiliations:

According to our database¹, Johan Georg Granström authored at least 4 papers between 2011 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Are There Enough Injective Sets?

[BibT_eX]

[DOI]

Stud Logica, 2013

2012

A New Paradigm for Component-based Development.

[BibT_eX]

[DOI]

J. Softw., 2012

2011

Treatise on Intuitionistic Type Theory

[BibT_eX]

[DOI]

Logic, Epistemology, and the Unity of Science 22, Springer, ISBN: 978-94-007-1736-7, 2011

A new approach to the semantics of model diagrams.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011