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

by T Ehrhard
Venue:Proceedings of the Workshop on Advances in Linear Logic, number 222 in London Mathematical Society Lecture Note Series