135 search results - page 9 / 27 » A typed lambda calculus with intersection types |
86
Voted
LICS
1987
IEEE
15 years 6 months ago
1987
IEEE
119
Voted
ENTCS
2007
15 years 2 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
126
Voted
EMNLP
2011
14 years 2 months ago
2011
134
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...