Hypercoherence: A strongly stable model of linear logic (1995)

by T Ehrhard
Venue:In Advances in Linear Logic