Implementing Distributed Lamda-Calculus Interpreter. - Alexandr Basov; Daniel de Carvalho; Manuel Mazzara (AINA Workshops, 2018)

Implementing distributed λ-calculus interpreter. - Alexandr Basov; Daniel de Carvalho; Manuel Mazzara (CoRR, 2018)