Fundamental theorems of extensional untyped #955;-calculus revisited.

Autor: Lyaletsky, Alexandre1 foraal@mail.ru
Zdroj: Computer Science Journal of Moldova. 2015, Vol. 23 Issue 2, p153-164. 12p.
Databáze: Academic Search Ultimate
Externí odkaz: