A new approach to the semantics of model diagrams. - Johan Georg Granström (TYPES, 2011)

Treatise on Intuitionistic Type Theory - Johan Georg Granström (Springer, 2011)

A New Paradigm for Component-based Development. - Johan Georg Granström (J. Softw., 2012)

Are There Enough Injective Sets? - Peter Aczel; Benno van den Berg; Johan Georg Granström; Peter Schuster 001 (Stud Logica, 2013)