1194 search results - page 63 / 239 » A Calculus for Predicative Programming |
105
click to vote
JOLLI
2002
15 years 1 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
103
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
102
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
131
click to vote
FSTTCS
1999
Springer
15 years 6 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...