Pure Type Systems with More Liberal Rules

Autor:	Bunder, Martin, Dekkers, Wil
Zdroj:	The Journal of Symbolic Logic, 2001 Dec 01. 66(4), 1561-1580.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2694962 Zobrazit plný text záznamu