Search the dblp DataBase

Publications of Author

1. Giulio Manzonetto, Antonino Salibra
   Boolean Algebras for Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:317-326 [Conf]
   
2. Chantal Berline, Giulio Manzonetto, Antonino Salibra
   Lambda Theories of Effective Lambda Models. [Citation Graph (0, 0)][DBLP]
   CSL, 2007, pp:268-282 [Conf]
   
3. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
   Not Enough Points Is Enough. [Citation Graph (0, 0)][DBLP]
   CSL, 2007, pp:298-312 [Conf]
   
4. 
   A Relational Model of a Parallel and Non-deterministic lambda-Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   From lambda-Calculus to Universal Algebra and Back. [Citation Graph (, )][DBLP]
   
   
6. 
   A General Class of Models of . [Citation Graph (, )][DBLP]
   
   
7. 
   Harnessing ML^F with the Power of System F. [Citation Graph (, )][DBLP]
   
   
8. 
   Effective lambda-models vs recursively enumerable lambda-theories [Citation Graph (, )][DBLP]
   
   
9. 
   Models and theories of lambda calculus [Citation Graph (, )][DBLP]