THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS

Autor:	Intrigila, B, Statman, R
Jazyk:	angličtina
Rok vydání:	2009
Předmět:	Settore INF/01 - Informatica lambda calculus omega rule lambda theories
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3667::8eea51852271a1a57570ac714d1c189e http://hdl.handle.net/2108/33110 Zobrazit plný text záznamu