Teodoro Freund

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Cut Elimination

Top Venues

Publications

Pablo Barenbaum, Teodoro Freund
Proofs and Refutations for Intuitionistic and Second-Order Logic. CSL (2023)
Pablo Barenbaum, Teodoro Freund
Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version). CoRR (2022)
Pablo Barenbaum, Teodoro Freund
A Constructive Logic with Classical Proofs and Refutations. LICS (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. DLS (2021)
Pablo Barenbaum, Teodoro Freund
A Constructive Logic with Classical Proofs and Refutations (Extended Version). CoRR (2021)
Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack
Union and intersection contracts are hard, actually. CoRR (2021)