Pages that link to "Item:Q1318702"
From MaRDI portal
The following pages link to A co-induction principle for recursively defined domains (Q1318702):
Displaying 10 items.
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- A fixedpoint approach to implementing (Co)inductive definitions (Q5210768) (← links)
- Using a generalisation critic to find bisimulations for coinductive proofs (Q5234712) (← links)
