Indexed containers (Q5371943): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Containers: Constructing strictly positive types
@@ Property / cites work: Containers: Constructing strictly positive types / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Big-step normalisation
@@ Property / cites work: Big-step normalisation / rank @@
+Normal rank
@@ Property / cites work @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed containers
@@ Property / cites work: Indexed containers / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Containers
@@ Property / cites work: Higher-Order Containers / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics for Inductive-Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+The gentle art of levitation
@@ Property / cites work: The gentle art of levitation / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping, Declaratively
@@ Property / cites work: Subtyping, Declaratively / rank @@
+Normal rank
@@ Property / cites work @@
+Representing inductively defined sets by wellorderings in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Q4436029
@@ Property / cites work: Q4436029 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed induction-recursion
@@ Property / cites work: Indexed induction-recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Programming interfaces and basic topology
@@ Property / cites work: Programming interfaces and basic topology / rank @@
+Normal rank
@@ Property / cites work @@
+Small Induction Recursion
@@ Property / cites work: Small Induction Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Conservativity of equality reflection over intensional type theory
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+A construction of non-well-founded sets within Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A UNIVERSE OF STRICTLY POSITIVE FAMILIES
@@ Property / cites work: A UNIVERSE OF STRICTLY POSITIVE FAMILIES / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Inductive-Recursive Definitions
@@ Property / cites work: Positive Inductive-Recursive Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive-Inductive Definitions
@@ Property / cites work: Inductive-Inductive Definitions / rank @@
+Normal rank
@@ Property / cites work @@
+A set constructor for inductive sets in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Subset Coercions in Coq
@@ Property / cites work: Subset Coercions in Coq / rank @@
+Normal rank