24 citations · 79 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Factorization and Normalization, Essentially
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Lambda-calculi come with no fixed evaluation strategy. Different strategies may then be considered, and it is important that they satisfy some abstract rewriting property, such as…
cs.LO2019
Lambda Calculus and Probabilistic Computation
Claudia Faggian, Simona Ronchi della Rocca
We introduce two extensions of the -calculus with a probabilistic choice operator, and , modeling respectively call-by-value and call-by-name pr…