Login / Signup

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

Antonio BucciarelliThomas EhrhardGiulio Manzonetto
Published in: LFCS (2009)
Keyphrases