Pages that link to "Item:Q4339015"
From MaRDI portal
The following pages link to The bologna optimal higher-order machine (Q4339015):
Displaying 11 items.
- Interaction nets for linear logic (Q1583245) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Ordered hypothesis machines (Q1932942) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- Interaction nets with McCarthy's \(\mathsf{amb}\) (Q2842603) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- A local graph-rewriting system for deciding equality in sum-product theories (Q2867904) (← links)
- Abstract machines, optimal reduction, and streams (Q5108536) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)