A Confluent Extension of Lafont s Interaction Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Satoshi Matsuoka. A Confluent Extension of Lafont s Interaction Nets. In Philippe Codognet, editor, Programmation en logique avec contraintes, Actes des JFPLC 2001, 24 avril - 27 avril 2001, Cité des sciences et de l industrie, Paris. pages 123-138, Hermes, 2001.

This author has not been identified. Look up 'Satoshi Matsuoka' in Google

runs on WebDSL