Interaction Combinators (1995)

by Yves Lafont
Venue:Information and Computation