The following pages link to Geometry of synthesis (Q3189816):
Displaying 14 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- A calculus for hardware description (Q3021415) (← links)
- Coquet: A Coq Library for Verifying Hardware (Q3100217) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
- The Calculus of Handshake Configurations (Q3617732) (← links)
- (Q3709898) (← links)
- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits (Q4922073) (← links)
- (Q4972738) (← links)
- A Petri Net Model of Handshake Protocols (Q5166613) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- String diagrams for strictification and coherence (Q6635518) (← links)
- Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)