Matthew Walker
PhD Student
Theory of Computing Group
King's College, London
matthew.2.walker@kcl.ac.uk
Publications
Resources
- Interaction Net Encoding of the ϱ-calculus - undergraduate
project (unpublished) on a compilation of a small functional
language to an interaction net system via the rewriting (ϱ)
calculus. A concrete interpreter for this
transalation, rhoci, is also provided (the report includes a user manual for rhoci as
appendix). [report]
[rhoci jar file (executable under a jre)]