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

by M Hyland, A Schalk
Venue:Comput. Sci
Add To MetaCart
Results 1 - 3 of 3

Polarized category theory, modules and game semantics

by J. R. B. Cockett, R. A. G. Seely , 2004
"... Abstract. Motivated by an analysis of Abramsky-Jagadeesan games, the paper considers ..."
Abstract - Cited by 9 (0 self) - Add to MetaCart
Abstract. Motivated by an analysis of Abramsky-Jagadeesan games, the paper considers

Restriction Categories I

by R. F. Blute, J. R. B. Cockett, R. A. G. Seely - Categories of Partial Maps, Theoret. Comput. Sci , 2006
"... modality”) and a differential combinator, satisfying a number of coherence conditions. In ..."
Abstract - Cited by 7 (1 self) - Add to MetaCart
modality”) and a differential combinator, satisfying a number of coherence conditions. In

Under consideration for publication in Math. Struct. in Comp. Science Transport of

by unknown authors , 2010
"... applications niteness structures and ..."
Abstract - Add to MetaCart
applications niteness structures and