3 citations · 4 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 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
Intersection Types for a Computational Lambda-Calculus with Global State
Ugo de'Liguoro, Riccardo Treglia
We study the semantics of an untyped lambda-calculus equipped with operators representing read and write operations from and to a global store. We adopt the monadic approach to mod…
cs.LO2019★ 3 cited
Intersection Types for the Computational lambda-Calculus
Ugo de'Liguoro, Riccardo Treglia
We study polymorphic type assignment systems for untyped lambda-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce…