Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "λ-model"
| Set-theoretic models of the untyped λ-calculus determined by new notions of continuity |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
| Disponibil online 30 March, 2018. Descarcări-0. Vizualizări-659 |
    |
1-1 of 1
