Continuity of Gödel's system T definable functionals via effectful forcing (Q265800): Difference between revisions

@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent Types at Work
@@ Property / cites work: Dependent Types at Work / 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 @@
+A Computational Interpretation of Forcing in Type Theory
+Normal rank
@@ Property / cites work @@
+Representations of Stream Processors Using Nested Fixed Points
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of terms of finite type
@@ Property / cites work: Ordinal analysis of terms of finite type / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+When is a functional program not a functional program?
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank