Hypercoherences: a strongly stable model of linear logic (1993)

by T Ehrhard
Venue:Mathematical Structures in Computer Science 3