The structure of multiplicatives (1989)

by Vincent Danos, Laurent Regnier
Venue:Archive for Mathematical Logic