Categorical Semantics and Topos Theoretic Models - dpmms

14 downloads 0 Views 5MB Size Report
1989 American Mathematical Society. 0271-4132/89 $1.00 + $.25 per page. 137. Page 2. 138. J. MARTIN E. HYLAND and ANDREW M. PITTS theory of ...