8 search results - page 1 / 2 » lfcs 1992 |
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
d Abstract) Alexander Rabinovich IBM Research Center P.O. Box 218, Yorktown lleights, NY 10598 e.maih alikQtvatson.ibm.com
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
LFCS
1992
Springer
13 years 10 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...