Pages that link to "Item:Q2575770"

The following pages link to Programming interfaces and basic topology (Q2575770):

Displaying 3 items.

• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
• From Proposition to Program (Q2798255) (← links)
• A Minimalist Foundation at Work (Q2909749) (← links)