Antonino Salibra
Full Professor of Computer Science
Università Ca'Foscari, Venezia;
Dipartimento di Informatica
tel: +39 041 2348417, fax: +39 041 2348419
Locations of visitors to this page

SOME PAPERS

  • On Linear Information Systems (with A. Bucciarelli, A. Carraro, T. Ehrhard) - First International Workshop on Linearity, Coimbra, Portugal, 2009
  • Lattices of equational theories as Church algebras. (with G. Manzonetto) - Proceedings of Seventh Panhellenic Logic Symposium, July 15-19, 2009, Patras, Greece
  • Reflexive domains are not complete for the extensional lambda calculus. (with A. Carraro) - LICS 09 
  • Effective lambda models versus recursively enumerable lambda theories. (with C. Berline, G. Manzonetto) - MSCS vol.19 (2009) pp.897--942
  • Applying universal algebra to lambda calculus. (with G. Manzonetto) - JLC 2009 (to appear) 
  • From lambda calculus to universal algebra and back. (with G. Manzonetto) - MFCS 08 
  • Graph lambda theories. (with A. Bucciarelli) - MSCS 18(5), 2008 
  • Lambda theories of effective lambda models. (with C. Berline, G. Manzonetto) - CSL 07 
  • Boolean algebras for lambda calculus. (with G. Manzonetto) - LICS 06 
  • Easiness in graph models. (with C. Berline) - TCS 354(1), 2006 
  • The sensible graph theories of lambda calculus. (with A. Bucciarelli) - LICS 04 
  • The lattice of lambda theories. (with S. Lusin) - JLC 14(3), 2004 
  • Topological incompleteness and order incompleteness of the lambda calculus. - ACM TOCL 4(3),  2003
  • A continuum of theories of lambda calculus without semantics. - LICS 01 
  • On the algebraic models of lambda calculus. - TCS 249(1), 2000 
  • A finite equational axiomatization of the functional algebras for the lambda calculus. (with R. Goldblatt) - IC 148(1), 1999 
  • Lambda abstraction algebras: coordinatizing models of lambda calculus. (with D. Pigozzi) - FI 33, 1998 
  • Lambda abstraction algebras: representation theorems. (with D. Pigozzi) - TCS 140, 1995 
  • The abstract variable binding calculus. (with D. Pigozzi) - SL 55(1), 1995 
  • Polyadic algebras over non-classical logics. (with D. Pigozzi) - Algebraic Methods in Logic and in Comput. Sci., Banach Center Publ. 28,  1993 

    • SOME TALKS

  • slides - Seventh Panhellenic Logic Symposium, 2009
  • Boolean algebras and lambda calculus. ( slides) - TANCL 07 
  • Algebra and topology in lambda calculus. ( slides) - Plenary Presentation OAL 07  (Int. Conf. on Order, Algebra and Logics)