Afișare rezultate |
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "Normalization theorem for βη-reduction"
Fundamental theorems of extensional untyped λ-calculus Revisited |
Lyaletsky Alexandre |
Taras Shevchenko National University of Kyiv |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-522 |
Fundamental theorems of extensional untyped lambda-calculus revisited |
Lyaletsky Alexandre |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 |
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-821 |
1-2 of 2