Počet záznamů: 1

Composition of Deductions within the Propositions-As-Types Paradigm

SYSNO	0535279
Název	Composition of Deductions within the Propositions-As-Types Paradigm
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Korespondující/senior	Pezlar, Ivo - Korespondující autor
Zdroj.dok.	Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. - : 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.	CH
Klíč.slova	General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
URL	https://doi.org/10.1007/s11787-020-00260-3
Trvalý link	http://hdl.handle.net/11104/0313350

Počet záznamů: 1