Filippo Sestini
Author
Alternate name Filippo Sestini
Institution University of Nottingham
Past institutions University of Nottingham, University of Padua, Civita
ORCID: Yes
H-index: 2
I10-index:
Works count: 5
Citations count: 6
Constructing a universe for the setoid model
2021 · Thorsten Altenkirch, Simon Boulier, et al. · Lecture notes in computer science
Proof search in a context-sensitive logic for molecular biology
2018 · Filippo Sestini, Silvia Crafà · Journal of Logic and Computation
Normalization by Evaluation for Typed Weak lambda-Reduction
2019 · Filippo Sestini · Types for Proofs and Programs