Simon Boulier

According to our database, Simon Boulier authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

2021

Constructing a universe for the setoid model.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2019

Setoid Type Theory - A Syntactic Translation.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Extending type theory with syntactic models. (Etendre la théorie des types à l'aide de modèles syntaxiques).

Simon Pierre Boulier

PhD thesis, 2018

Towards Certified Meta-Programming with Typed Template-Coq.

Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

The next 700 syntactical models of type theory.

Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017