Pages that link to "Item:Q2575770"
From MaRDI portal
The following pages link to Programming interfaces and basic topology (Q2575770):
Displaying 8 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)
- Doo bee doo bee doo (Q5110934) (← links)
- (Q5155674) (← links)
- Indexed containers (Q5371943) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- A linear category of polynomial diagrams (Q5740350) (← links)