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 |