Reduction as deduction (1994) [1 citations — 0 self]
Download:
|
|
by John Darlington, Yi-ke Guo, Martin Kohler
6th Implementation of Functional Languages
http://src.doc.ic.ac.uk/ic.doc/ALA/papers/Y.Guo/ueapaper.ps.gz
Add To MetaCart
Abstract:
In this paper. we present a logical encoding of reduction strategies of-calculus in terms of linear logic. First of all, we present a fragment of intuitionistic linear logic to formalise the behaviours of concurrent computation. The logic, which can be regarded as a process calculi,
Citations
| 10 | Abramsky. Computational interpretations of linear logic – Samson - 1993 |
| 8 | Definitional Constraint Programming – Guo - 1993 |
| 3 | Boudol and G.Berry. The chemical abstract machine – Gerard - 1990 |
| 3 | Definitional Constraint Programming for Parallel Computing: An Introduction – Darlington, Guo - 1992 |
