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

PEZLAR, Ivo. The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract). In: BARONI, Pietro, BENZMÜLLER, Christoph, WÁNG, Yὶ N., eds. Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021, s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3. Dostupné z: doi: 10.1007/978-3-030-89391-0_31.