2003): Interaction nets with McCarthy’s amb: Properties and Applications (0)

by M Fernández, L Khalil
Venue:Nordic Journal of Computing