Normalization by Evaluation for Typed Weak lambda-Reduction. - Filippo Sestini (TYPES, 2018)

Proof search in a context-sensitive logic for molecular biology. - Filippo Sestini; Silvia Crafa (J. Log. Comput., 2018)

Constructing a universe for the setoid model. - Thorsten Altenkirch; Simon Boulier; Ambrus Kaposi; Christian Sattler; Filippo Sestini (FoSSaCS, 2021)