The Chu construction and cofree models of linear logic (1993)

by D Pavlović