The present version of constructive type theory (1995)

Giovanni Sommaruga

pp. 1-166


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

Not implemented yet !