Johan Georg Granström

• Treatise on intuitionistic type theory