Login / Signup

An Implementation of Nested Pattern Matching in Interaction Nets

Abubakar HassanEugen JireschShinya Sato
Published in: RULE (2009)
Keyphrases