The following pages link to YALE (Q5348892):
Displaying 13 items.
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine (Q2841304) (← links)
- Interaction Nets with McCarthy's amb (Q2842603) (← links)
- From Functional Programs to Interaction Nets via the Rewriting Calculus (Q2864528) (← links)
- Hard combinators (Q2870311) (← links)
- Interaction Nets With Nested Pattern Matching (Q2870316) (← links)
- Token-passing Nets for Functional Languages (Q2873684) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
