11 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the re…