Glueing and orthogonality for models of linear logic, Theor (2003)

by M Hyland, A Schalk
Venue:Comput. Sci