Pages that link to "Item:Q2503336"
From MaRDI portal
The following pages link to Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336):
Displaying 5 items.
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Interactive programs in dependent type theory (Q2753682) (← links)
- State dependent IO-monads in type theory (Q2849882) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- (Q5718566) (← links)