Composition of Deductions within the Propositions-As-Types Paradigm

Number of the records: 1

1.

SYSNO	0535279
Title	Composition of Deductions within the Propositions-As-Types Paradigm
Author(s)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Corespondence/senior	Pezlar, Ivo - Korespondující autor
Source Title	Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. - : Springer
Document Type	Článek v odborném periodiku
Grant	GA19-12420S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	CH
Keywords	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
Permanent Link	http://hdl.handle.net/11104/0313350

Number of the records: 1