Interaction systems and linear logic -- A different . . . (2009)

by Pierre Hyvernat