An intensional type theory: motivation and cut-elimination (Q2732287): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2694928
@@ Property / full work available at URL: https://doi.org/10.2307/2694928 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2063169574
@@ Property / OpenAlex ID: W2063169574 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of cut-elimination theorem in simple type-theory
+Normal rank
@@ Property / cites work @@
+Q4722029
@@ Property / cites work: Q4722029 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual realism versus Quine on classes and higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction based set theories: a new resolution of the old paradoxes
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial functions version of Church's simple theory of types
+Normal rank