Q5089027 (Q5089027): Difference between revisions

@@ Property / cites work @@
+Type theory in type theory using quotient inductive types
+Normal rank
@@ Property / cites work @@
+Q5371043
@@ Property / cites work: Q5371043 / rank @@
+Normal rank
@@ Property / cites work @@
+A relationally parametric model of dependent type theory
+Normal rank
@@ Property / cites work @@
+Proofs for free
@@ Property / cites work: Proofs for free / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+The biequivalence of locally cartesian closed categories and Martin-Löf type theories
+Normal rank
@@ Property / cites work @@
+Canonicity and normalization for dependent type theory
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263868
@@ Property / cites work: Q4263868 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
+Normal rank
@@ Property / cites work @@
+Conservativity of equality reflection over intensional type theory
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke logical relation between ML and assembly
@@ Property / cites work: A kripke logical relation between ML and assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations for a logical framework
@@ Property / cites work: Logical relations for a logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Univalence for inverse diagrams and homotopy canonicity
+Normal rank