On the algebraic models of lambda calculus

Autor:	Salibra, Antonino *
Zdroj:	In Theoretical Computer Science 2000 249(1):197-240
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect