Semantics of type Theory. Correctness, Completeness and Independence Results Thomas Streicher

Autor:	Marzetta, Markus
Zdroj:	The Journal of Symbolic Logic, 1995 Sep 01. 60(3), 1020-1021.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2275776 Zobrazit plný text záznamu