Undecidability of equality for codata types (Q1798783): Difference between revisions

@@ Property / cites work @@
+Q4417849
@@ Property / cites work: Q4417849 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive programming in Agda – Objects and graphical user interfaces
+Normal rank
@@ Property / cites work @@
+ΠΣ: Dependent Types without the Sugar
@@ Property / cites work: ΠΣ: Dependent Types without the Sugar / rank @@
+Normal rank
@@ Property / cites work @@
+Copatterns
@@ Property / cites work: Copatterns / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Type Theory based on Dependent Inductive and 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 @@
+Q4249726
@@ Property / cites work: Q4249726 / rank @@
+Normal rank
@@ Property / cites work @@
+Codifying guarded definitions with recursive schemes
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Codatatypes in ML
@@ Property / cites work: Codatatypes in ML / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive, coinductive, and pointed types
@@ Property / cites work: Inductive, coinductive, and pointed types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5796642
@@ Property / cites work: Q5796642 / rank @@
+Normal rank
@@ Property / cites work @@
+Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers.
+Normal rank
@@ Property / cites work @@
+Extensions of some theorems of Gödel and Church
@@ Property / cites work: Extensions of some theorems of Gödel and Church / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras as Types Determined by Their Elimination Rules
+Normal rank
@@ Property / cites work @@
+How to Reason Coinductively Informally
@@ Property / cites work: How to Reason Coinductively Informally / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817396
@@ Property / cites work: Q5817396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2718773
@@ Property / cites work: Q2718773 / rank @@
+Normal rank