Treatise on Intuitionistic Type Theory

Authors:

ISBN: 978-94-007-1735-0 (Print) 978-94-007-1736-7 (Online)