A Tree Rewriting System for the Reflection Calculus.

Sofa Santiago-Fernndez, Joost J. Joosten, David Fernndez-Duque

Browse the full AiML paper archive.