The following pages link to Interaction nets for linear logic (Q1583245):
Displaying 4 items.
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine (Q2864217) (← links)
- A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine (Q2864502) (← links)
- Universal Boolean Systems (Q2870310) (← links)
