21 citations · 116 across the 21 of their papers we have counts for
1 paper · 2 filters
Bram Geron, Herman Geuvers
Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation.…