Lista publicaţiilor: Lyaletsky Alexandre Alexander (1), Descărcări - 3, Vizualizări - 831
Publicații cu CZU
Fundamental theorems of extensional untyped lambda-calculus revisited |
Lyaletsky Alexandre |
Computer Science Journal of Moldova |
Nr. 2 / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-831 |