Treatise on intuitionistic type theory

Repository | Book

Springer, Dordrecht

2011

196 Pages

ISBN 978-94-007-1735-0

Publication details

Full citation:

Granström, J. G. (2011). Treatise on intuitionistic type theory, Springer, Dordrecht.

Table of Contents

Prolegomena

Granström Johan G.

1-11

Granström Johan G.

13-51

Granström Johan G.

53-76

Granström Johan G.

77-106

Granström Johan G.

107-154

Intuitionism

Granström Johan G.

155-173

This document is unfortunately not available for download at the moment.