Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 6 of 6

Order by Relevance | Title | Year of publication

Finite sum-product logic.

Cockett, J.R.B.; Seely, R.A.G. — 2001

Theory and Applications of Categories [electronic only]

The extensive completion of a distributive category.

Cockett, J.R.B.; Lack, Stephen — 2001

Theory and Applications of Categories [electronic only]

Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.

Cockett, J.R.B.; Seely, R.A.G. — 1997

Theory and Applications of Categories [electronic only]

Polarized category theory, modules, and game semantics.

Cockett, J.R.B.; Seely, R.A.G. — 2007

Theory and Applications of Categories [electronic only]

Stable meet semilattice fibrations and free restriction categories.

Cockett, J.R.B.; Guo, Xiuzhan — 2006

Theory and Applications of Categories [electronic only]

Morphisms and modules for poly-bicategories.

Cockett, J.R.B.; Koslowski, J.; Seely, R.A.G. — 2003

Theory and Applications of Categories [electronic only]

Page 1

Download Results (CSV)