Locally Cartesian Closed Categories and Type Theory
Mathematical Proceedings of the Cambridge Philosophical Society - United Kingdom
doi 10.1017/s0305004100061284
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1984
Authors
Publisher
Cambridge University Press (CUP)