Afisarea articolelor 1-1(1) 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-553 |
    |
1-1 of 1
