Intuitionist type theory and foundations (Q1152364): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / 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 the free topos
@@ Property / cites work: Intuitionist type theory and the free topos / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00253914
+Normal rank
@@ Property / OpenAlex ID @@
+W2061964709
@@ Property / OpenAlex ID: W2061964709 / rank @@
+Normal rank