Pages that link to "Item:Q2503336"

The following pages link to Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336):

Displayed 2 items.

• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) ‎ (← links)
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) ‎ (← links)