Intuitionist type theory and the free topos (Q1148318): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-4049(80)90102-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2036138623
@@ Property / OpenAlex ID: W2036138623 / rank @@
+Normal rank
@@ Property / cites work @@
+Contribution to the study of the natural number object in elementary topoi
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5670775
@@ Property / cites work: Q5670775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional completeness of cartesian categories
@@ Property / cites work: Functional completeness of cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+From types to sets
@@ Property / cites work: From types to sets / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionist type theory and foundations
@@ Property / cites work: Intuitionist type theory and foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5676377
@@ Property / cites work: Q5676377 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory and topoi. A collection of lectures by various authors
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q5183475
@@ Property / cites work: Q5183475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4106721
@@ Property / cites work: Q4106721 / rank @@
+Normal rank