Treatise on intuitionistic type theory

Johan G. Granström

Springer

2011

Publication details

Verlag: Springer

Ort: Berlin

Jahr: 2011

ISBN (Hardback): 9789400717350

ISBN (eBook): 9789400717367