Teodoro Freund

According to our database, Teodoro Freund authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Proofs and Refutations for Intuitionistic and Second-Order Logic.

Pablo Barenbaum, Teodoro Freund

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version).

Pablo Barenbaum, Teodoro Freund

CoRR, 2022

2021

A Constructive Logic with Classical Proofs and Refutations (Extended Version).

Pablo Barenbaum, Teodoro Freund

CoRR, 2021

A Constructive Logic with Classical Proofs and Refutations.

Pablo Barenbaum, Teodoro Freund

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Union and intersection contracts are hard, actually.

Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack

Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021