Pages that link to "Item:Q673963"
From MaRDI portal
The following pages link to Strong categorical datatypes II: A term logic for categorical programming (Q673963):
Displaying 7 items.
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Deforestation, program transformation, and cut-elimination (Q4917034) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
