Upward confluence in the interaction calculus. | 0 | 0.34 | 2018 |
Lambda Calculus with Explicit Read-back. | 0 | 0.34 | 2018 |
Optimal Reduction without Oracle? | 0 | 0.34 | 2017 |
An impure solution to the problem of matching fans. | 0 | 0.34 | 2017 |
Parallel needed reduction for pure interaction nets. | 0 | 0.34 | 2017 |
A better model of computation for digital physics? | 0 | 0.34 | 2017 |
Token-Passing Optimal Reduction With Embedded Read-Back | 1 | 0.48 | 2016 |
A token-passing net implementation of optimal reduction with embedded read-back. | 0 | 0.34 | 2015 |
Lambda Calculus Synopsis | 0 | 0.34 | 2013 |
A compact encoding for λ-terms in interaction calculus | 0 | 0.34 | 2013 |
Interaction Nets in Russian | 0 | 0.34 | 2013 |
A recursive normalizing one-step reduction strategy for the distributive lambda calculus | 0 | 0.34 | 2012 |
Blind graph rewriting systems | 0 | 0.34 | 2012 |
Uniform Memory and Serialization for Lambda Calculus | 0 | 0.34 | 2010 |
The Heap Lambda Machine | 0 | 0.34 | 2008 |