MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Typed Lambda Calculi and Applications" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 30 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Simple Calculus of Exception Handling  
  • by Philippe de Groote, Inria-lorraine Crin Cnrs, M. Dezani-ciancaglini, G. Plotkin (eds — 1995
  • … of the Second International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer…
  • Cited by 17 (0 self) – Add To MetaCart
  • Attended Summer Schools  
  • by Grundschule Oberhaching (primary School — 2000
  • … on the conference Typed Lambda-Calculi and Applications 2003 [6] are one part of my forthcoming PhD thesis…
  • Add To MetaCart
  • 'in Abadi. A logic for parametric polymorphism. Applications,  
  • by Tlca' Pages, Pa Gordon Plotkin, In M. Bezem, J. F. Groote, Cc Patrick Cousot, Radhia Cousot Abstract Interpretation, Maria Dezani-ciancaglini, B. Venneri Functional
  • …. In M. Bezem and J.F. Groote, editors, Proceedings of the International Conference on Typed Lambda…
  • Add To MetaCart
  • Cv  
  • by Hongwei Xi
  • … 1997. Hongwei Xi, Weak and Strong Beta Normalizations in Typed Lambda-Calculi. In Proceedings of Typed…
  • Add To MetaCart
  • Cv  
  • by Hongwei Xi — 1999
  • … 1997. Hongwei Xi, Weak and Strong Beta Normalizations in Typed Lambda-Calculi. In Proceedings of Typed…
  • Add To MetaCart
  • TEACHING EXPERIENCE  
  • by Amal Ahmed
  • …. In Pawel Urzyczyn, editor, Typed Lambda Calculi and Applications: 7th Intl. Conference (TLCA ’05), Nara…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB