Treatise on intuitionistic type theory

Johan G. Granström

Springer

2011

Publication details

Publisher: Springer

Place: Berlin

Year: 2011

ISBN (Hardback): 9789400717350

ISBN (eBook): 9789400717367