The structure of multiplicatives (1989)

by V Danos, L Regnier
Venue:Archive for Mathematical Logic