The following pages link to Subtyping, Declaratively (Q3575268):
Displayed 10 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- A Mechanized Theory of Regular Trees in Dependent Type Theory (Q2945653) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- (Q5089035) (← links)
- Indexed containers (Q5371943) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- A logical framework with higher-order rational (circular) terms (Q6091181) (← links)
- Polarized subtyping (Q6166799) (← links)