Teodoro Freund | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Pablo Barenbaum
6 publications
Arnaud Spiwack
5 publications
Yann Hamdaoui
3 publications

research

∙ 10/13/2022

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

The lambda-PRK-calculus is a typed lambda-calculus that exploits the dua...

0 Pablo Barenbaum, et al. ∙

research

∙ 06/11/2021

Union and intersection contracts are hard, actually

Union and intersection types are a staple of gradually typed language su...

0 Teodoro Freund, et al. ∙

research

∙ 04/09/2021

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

We study a conservative extension of classical propositional logic disti...

0 Pablo Barenbaum, et al. ∙