Filippo Sestini

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Sequent Calculus

Empirical Evaluation

Top Venues

J. Log. Comput.

Publications

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
Constructing a universe for the setoid model. FoSSaCS (2021)
Filippo Sestini
Normalization by Evaluation for Typed Weak lambda-Reduction. TYPES (2018)
Filippo Sestini, Silvia Crafa
Proof search in a context-sensitive logic for molecular biology. J. Log. Comput. 28 (7) (2018)