A Relational Model of a Parallel and Non-deterministic lambda-Calculus.

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto

Browse the full LFCS paper archive.