Lyaletsky Alexandre
Articole în reviste din RM - 1, Descărcări - 3, Vizualizări - 828
ISO 690-2012
Fundamental theorems of extensional untyped lambda-calculus revisited   |
| Lyaletsky Alexandre |
| 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-828 |
