An Abstraction Algorithm for Combinatory Logic

Autor:	Abdali, S. Kamal
Zdroj:	The Journal of Symbolic Logic, 1976 Mar 01. 41(1), 222-224.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2272961 Zobrazit plný text záznamu