Glueing and orthogonality for models of linear logic (2003)

by J M E Hyland, A Schalk
Venue:Theoretical Computer Science