3179 search results - page 47 / 636 » Applications of PCF Theory |
PDS
1996
13 years 10 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
AAAI
1990
13 years 10 months ago
1990
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
ENTCS
2008
13 years 8 months ago
2008
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
RULEML
2010
Springer
13 years 7 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...