Anton Salikhmetov

15 papers Journal 14Unranked 1

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