Q5089035 (Q5089035): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995161
@@ Property / cites work: Q4995161 / rank @@
+Normal rank
@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalized Proof of Strong Normalization for Guarded Recursive Types
+Normal rank
@@ Property / cites work @@
+Type theory in type theory using quotient inductive types
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144643
@@ Property / cites work: Q5144643 / rank @@
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+Guarded Dependent Type Theory with Coinductive Types
+Normal rank
@@ Property / cites work @@
+Type Theory Should Eat Itself
@@ Property / cites work: Type Theory Should Eat Itself / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and Reasoning with Guarded Recursion for Coinductive Types
+Normal rank
@@ Property / cites work @@
+Infinite objects in type theory
@@ Property / cites work: Infinite objects in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping, Declaratively
@@ Property / cites work: Subtyping, Declaratively / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4993353
@@ Property / cites work: Q4993353 / rank @@
+Normal rank
@@ Property / cites work @@
+A type theory for productive coprogramming via guarded recursion
+Normal rank
@@ Property / cites work @@
+Type-Based Productivity of Stream Definitions in the Calculus of Constructions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5089035