A relational model of a parallel and non-deterministic lambda-calculus (2008)

by Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
Venue:Preuves, Programmes et Systèmes