2272 search results - page 331 / 455 » A Calculus for |
96
Voted
CADE
1994
Springer
15 years 4 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
103
Voted
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
134
click to vote
KR
1994
Springer
15 years 4 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
101
Voted
TAPSOFT
1993
Springer
15 years 4 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
84
Voted
ICLP
1990
Springer
15 years 4 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...