Anton Salikhmetov

From MaRDI portal
Person:5015377

Available identifiers

zbMath Open salikhmetov.antonMaRDI QIDQ5015377

List of research outcomes





PublicationDate of PublicationType
Token-passing optimal reduction with embedded read-back2021-12-07Paper
Uniform Memory and Serialization for Lambda Calculus2010-11-16Paper

Research outcomes over time

This page was built for person: Anton Salikhmetov