Q5079726 (Q5079726): Difference between revisions

@@ Property / cites work @@
+Innovations in computational type theory using Nuprl
+Normal rank
@@ Property / cites work @@
+Q5278407
@@ Property / cites work: Q5278407 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Formally Verified Proof Assistant
@@ Property / cites work: Towards a Formally Verified Proof Assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Computational higher-dimensional type theory
@@ Property / cites work: Computational higher-dimensional type theory / 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 @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of Cubical Sets
@@ Property / cites work: Varieties of Cubical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277978
@@ Property / cites work: Q5277978 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Homotopy type theory in Lean
@@ Property / cites work: Homotopy type theory in Lean / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theory of simplicial sheaves in completely decomposable topologies
+Normal rank