MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Antonino Salibra" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Towards Lambda Calculus Order-Incompleteness  
  • by Antonino Salibra — Workshop on Böhm theorem: applications to Computer Science Theory (BOTH 2001) Electronics Notes in Theoretical Computer Science
  • …://www.elsevier.nl/locate/entcs/volume50.html 14 pages Towards Lambda Calculus Order-Incompleteness Antonino Salibra 1 Dipartimento di…
  • Cited by 3 (3 self) – Add To MetaCart
  • Lambda calculus: models and theories  
  • by Antonino Salibra — Proceedings of the Third AMAST Workshop on Algebraic Methods in Language Processing (AMiLP-2003), number 21 in TWLT Proceedings, pages 39–54, University of Twente, 2003. Invited Lecture
  • …Lambda Calculus: Models and Theories Antonino Salibra Dipartimento di Informatica Università Ca…
  • Cited by 1 (0 self) – Add To MetaCart
  • Easiness in graph models  
  • by Chantal Berline, Antonino Salibra — 1993 — Theoretical Computer Science
  • …Easiness in graph models Chantal Berline and Antonino Salibra 19 February 2004 (rev. 21 January…
  • Cited by 3 (1 self) – Add To MetaCart
  • A Continuum of Theories of Lambda Calculus Without Semantics  
  • by Antonino Salibra Dipartimento, Antonino Salibra — 2001 — 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001), IEEE Computer
  • …A continuum of theories of lambda calculus without semantics Antonino Salibra Dipartimento di…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB