Filippo Sestini

According to our database, Filippo Sestini authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• 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

2018

Proof search in a context-sensitive logic for molecular biology.

Filippo Sestini, Silvia Crafa

J. Log. Comput., 2018

Normalization by Evaluation for Typed Weak lambda-Reduction.

Filippo Sestini

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018