Interaction combinators (1997)

by Yves Lafont
Venue:Information and Computation