Pages that link to "Item:Q2374309"

The following pages link to Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers (Q2374309):

Displaying 4 items.

• High-level modelling for typed functional programming (Q832100) (← links)
• Dragging Proofs Out of Pictures (Q3188284) (← links)
• A compositional approach to quantum functions (Q4586484) (← links)
• A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)