Menu

About us
Contact

Publications

Collections
Submit a new reference

Login

Calendar

Catalogue > People > Profile

Profile Publications

Johan G. Granström

1 Publications

Treatise on intuitionistic type theory

Johan G. Granström

Springer - Berlin

2011

1 Publications

This website is powered by sdvig press, a not-for-profit association based in Geneva, Switzerland

Except for all images and where otherwise noted, contents are available under the Creative Commons Attribution License 4.0

Hendrik, the underlying database of this website, is available under the Open Database License 1.0

Terms & Conditions
About
Contact

We log anonymised, publically available usage statistics with Matomo

© 2015-2025 sdvig press