The following pages link to Interaction nets for linear logic (Q1583245):
Displaying 14 items.
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Differential interaction nets (Q860836) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- 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)
- The Structure of Interaction. (Q2958530) (← links)
- A Logical Calculus for Modelling Interferences (Q3525086) (← links)
- (Q4494368) (← links)
- Interactive Logical Structures (Q4601123) (← links)
- (Q4842972) (← links)
- (Q4870807) (← links)