8 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Furio Honsell, Marina Lenisa +1
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all,…