8 search results - page 1 / 2 » lfcs 1992 |
LFCS
1992
Springer
13 years 9 months ago
1992
Springer
LFCS
1992
Springer
13 years 9 months ago
1992
Springer
LFCS
1992
Springer
13 years 9 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 9 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 9 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...