Matthew Walker

PhD Student
Theory of Computing Group
King's College, London

matthew.2.walker@kcl.ac.uk

• main supervisor Dr. Maribel Fernández
• second supervisor Prof. Dov Gabbay

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)]