Anton Salikhmetov

Personal information


male

interaction nets, optimal reduction, lambda calculus

History


4 years 8 weeks