| 2009 |
|---|
| 7 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
A Relational Model of a Parallel and Non-deterministic lambda-Calculus.
LFCS 2009: 107-121 |
| 6 | EE | Giulio Manzonetto:
Models and theories of lambda calculus
CoRR abs/0904.4756: (2009) |
| 2008 |
|---|
| 5 | EE | Giulio Manzonetto,
Antonino Salibra:
From lambda-Calculus to Universal Algebra and Back.
MFCS 2008: 479-490 |
| 4 | EE | Chantal Berline,
Giulio Manzonetto,
Antonino Salibra:
Effective lambda-models vs recursively enumerable lambda-theories
CoRR abs/0806.2264: (2008) |
| 2007 |
|---|
| 3 | EE | Chantal Berline,
Giulio Manzonetto,
Antonino Salibra:
Lambda Theories of Effective Lambda Models.
CSL 2007: 268-282 |
| 2 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
Not Enough Points Is Enough.
CSL 2007: 298-312 |
| 2006 |
|---|
| 1 | EE | Giulio Manzonetto,
Antonino Salibra:
Boolean Algebras for Lambda Calculus.
LICS 2006: 317-326 |
