Extended Curry-Howard terms for second-order logic.

Autor:	Vejjajiva, Pimpen1 pimpen@abhisit.org
Zdroj:	Mathematical Logic Quarterly. Aug2013, Vol. 59 Issue 4/5, p274-285. 12p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.