Search results

Theory. Logic, Epistemology, and the Unity of Science. Vol. 7. ISBN 978-94-007-1735-0. See in particular pp. 86–91. Granström, J. G. (May 2012), "A New...

G. (2011). Treatise on Intuitionistic Type Theory. Springer. ISBN 978-94-007-1735-0. EU Types Project: Tutorials – lecture notes and slides from the Types...