Number of the records: 1  

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

  1. 1.
    Pezlar, I. 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. Available: doi: 10.1007/978-3-030-89391-0_31.
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.