247 search results - page 14 / 50 » A Computational Structure for the Propositional Calculus |
124
Voted
CADE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
127
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
103
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
103
Voted
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
74
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...