A Computational Interpretation of Forcing in Type Theory (Q5253929): Difference between revisions

@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604461
@@ Property / cites work: Q5604461 / rank @@
+Normal rank
@@ Property / cites work @@
+The discovery of forcing.
@@ Property / cites work: The discovery of forcing. / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Forcing and Type Theory
@@ Property / cites work: A Note on Forcing and Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On a hitherto unexploited extension of the finitary standpoint
+Normal rank
@@ Property / cites work @@
+Relativized realizability in intuitionistic arithmetic of all finite types
+Normal rank
@@ Property / cites work @@
+Q4218119
@@ Property / cites work: Q4218119 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank