Pages that link to "Item:Q2849882"

The following pages link to (Q2849882):

Displaying 3 items.

• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
• Programming interfaces and basic topology (Q2575770) (← links)
• Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) (Q2888481) (← links)