1 paper
Valentin Maestracci, Paolo Pistone
In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to me…