The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)

Počet záznamů: 1

1.

SYSNO	0546967
Název	The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. S. 513-520. - Cham : Springer, 2021 / Baroni Pietro ; Benzmüller Christoph ; Wáng Yὶ N.
Konference	CLAR 2021: International Conference on Logic and Argumentation /4./, 20.10.2021 - 22.10.2021, online
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	Placeholder view of assumptions * Assumption withdrawing * Curry–Howard correspondence * Natural deduction * Intuitionistic propositional logic
URL	https://doi.org/10.1007/978-3-030-89391-0_31
Trvalý link	http://hdl.handle.net/11104/0323339

Počet záznamů: 1