Interaction Systems

@inproceedings{citeulike:485744, abstract = {. A new class of higher order rewriting systems, called Interaction Systems (IS's), was introduced by the author in [2]. Interaction Systems provide a nice integration of the functional paradigm with a rich class of data structures and basic control flow constructs such as conditionals and (primitive or general) recursion. In this paper, we focus on the relation between Interaction Systems and Intuitionistic Logic, via the Curry-Howard analogy. Pursuing this analogy, we define an encoding of...}, author = {Asperti, Andrea and Laneve, Cosimo }, booktitle = {HOA}, citeulike-article-id = {485744}, keywords = {bio, formalism, network}, pages = {1--19}, posted-at = {2006-01-30 10:57:52}, priority = {2}, title = {Interaction Systems}, url = {http://citeseer.ist.psu.edu/3541.html}, year = {1993} }

TY - CONF ID - citeulike:485744 L3 - citeulike-article-id:485744 N2 - . A new class of higher order rewriting systems, called Interaction Systems (IS's), was introduced by the author in [2]. Interaction Systems provide a nice integration of the functional paradigm with a rich class of data structures and basic control flow constructs such as conditionals and (primitive or general) recursion. In this paper, we focus on the relation between Interaction Systems and Intuitionistic Logic, via the Curry-Howard analogy. Pursuing this analogy, we define an encoding of... EP - 19 TI - Interaction Systems T2 - HOA SP - 1 KW - bio KW - formalism KW - network AU - Asperti, Andrea AU - Laneve, Cosimo PY - 1993/// UR - http://citeseer.ist.psu.edu/3541.html ER -