Anton Salikhmetov

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 7

Top Topics

Lambda Calculus

Reduction Method

Rewriting Systems

Top Venues

Publications

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