2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013
Interaction Nets in Russian
Anton Salikhmetov
Draft translation to Russian of Chapter 7, Interaction-Based Models of Computation, from Models of Computation: An Introduction to Computability Theory by Maribel Fernandez. "In th…
cs.LO2010★ 2 cited
Uniform Memory and Serialization for Lambda Calculus
Anton Salikhmetov
This paper introduces a special type of systems, defines their properties, and then demonstrates that a reduction machine for pure untyped extensional lambda calculus can be implem…