Počet záznamů: 1

The placeholder view of assumptions and the Curry–Howard correspondence

SYSNO	0546332
Název	The placeholder view of assumptions and the Curry–Howard correspondence
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Korespondující/senior	Pezlar, Ivo - Korespondující autor
Zdroj.dok.	Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GA19-12420S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
URL	https://doi.org/10.1007/s11229-020-02706-z
Trvalý link	http://hdl.handle.net/11104/0322869

Počet záznamů: 1