24 citations · 79 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
On reduction and normalization in the computational core
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro +1
We study the reduction in a lambda-calculus derived from Moggi's computational one, that we call the computational core. The reduction relation consists of rules obtained by orient…
cs.LO2021★ 1 cited
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
Claudia Faggian, Giulio Guerrieri
In each variant of the lambda-calculus, factorization and normalization are two key-properties that show how results are computed. Instead of proving factorization/normalization fo…