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 5 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)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
