7 citations · 15 across the 7 of their papers we have counts for
1 paper · 1 filter
Willem Heijltjes
The Functional Machine Calculus (FMC, Heijltjes 2022) extends the lambda-calculus with the computational effects of global mutable store, input/output, and probabilistic choice whi…