A generalization of the Takeuti–Gandy interpretation (Q5740650): Difference between revisions

@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Logical relations and the typed λ-calculus
@@ Property / cites work: Logical relations and the typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-relevance of families of setoids and identity in type theory
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / 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 @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of extensionality – Part I
@@ Property / cites work: On the axiom of extensionality – Part I / rank @@
+Normal rank
@@ Property / cites work @@
+L.J.E. Brouwer : Topologie et constructivisme
@@ Property / cites work: L.J.E. Brouwer : Topologie et constructivisme / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740650