MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Some Lambda Calculus and Type Theory Formalized." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • BRICS Research Series, 1997  
  • by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
  • …-97-51] Abstract, PostScript, PDF, DVI. James McKinna and Robert Pollack. Some Lambda Calculus…
  • Add To MetaCart
  • Annual Site Reports 2001  
  • by For The Types, Uniwersytet W Biaymstoku (pol, Chalmers Tekniska Hgskola (sweden — 2001
  • … Programming, 2001. Accepted; to appear. [17] J. McKinna and R. Pollack. Some lambda calculus and type theory…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB