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):

Displaying 3 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)
• (Q5718566) (← links)