Pointers in Recursion: Exploring the Tropics (Q5089027): Difference between revisions

@@ label / en / label / en @@
+Pointers in Recursion: Exploring the Tropics
@@ Property / author @@
-Christian Sattler
@@ Property / author: Christian Sattler / rank @@
-Normal rank
@@ Property / author @@
+Christian Sattler
@@ Property / author: Christian Sattler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://hal.archives-ouvertes.fr/hal-01934791
+Normal rank
@@ Property / OpenAlex ID @@
+W2902687082
@@ Property / OpenAlex ID: W2902687082 / rank @@
+Normal rank
@@ Property / title @@
+Pointers in Recursion: Exploring the Tropics (English)
@@ Property / title: Pointers in Recursion: Exploring the Tropics (English) / rank @@
+Normal rank