Interaction Automata and the ia2d Interpreter

Stéphane Gimenez and David Obwaller
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Leibniz International Proceedings in Informatics 52, pp. 35:1 – 35:11, 2016.

abstract   BibTeX     doi:10.4230/LIPIcs.FSCD.2016.35