Glueing and orthogonality for models of linear logic (2003)

by M Hyland, A Schalk
Venue:Theoretical Computer Science