Pages that link to "Item:Q2888481"
From MaRDI portal
The following pages link to Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481):
Displaying 6 items.
- Undecidability of equality for codata types (Q1798783) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- (Q5155674) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
- THE INEFFABLE NATURE OF BEING. IN MEMORIAM: BERNARD D’ESPAGNAT (Q5380078) (← links)