The concept of generalised species of structures between small categories and,
correspondingly, that of generalised analytic functor between presheaf categories are …

We discuss the design of a typed lambda calculus for quantum computation. After a brief
discussion of the role of higher-order functions in quantum information theory, we define the …

Differential categories were introduced to provide a minimal categorical doctrine for
differential linear logic. Here we revisit the formalism and, in particular, examine the two …

We construct a denotational model of propositional linear logic based on asynchronous
games and winning uniform innocent strategies. Every formula A is interpreted as an …

In the first part of the paper I investigate categorical models of multiplicative biadditive
intuitionistic linear logic, and note that in them some surprising coherence laws arise. The …

We show how to construct the category of games and innocent strategies from a more
primitive category of games. On that category we define a comonad and monad with the …

The structure theorem of Joyal, Street and Verity says that every traced monoidal category
arises as a monoidal full subcategory of the tortile monoidal category Int. In this paper we …

We show that the decomposition of intuitionistic logic into linear logic along the equation
A/spl rarr/B=! A/spl rarr/B may be adapted into a decomposition of classical logic into LLP …

There are several kinds of linear typed calculus in the literature, some with their associated
notion of categorical model. Our aim in this paper is to systematise the relationship between …

We introduce the monoidal closed category qCPO of quantum cpos, whose objects are"
quantized" analogs of omega-complete partial orders (cpos). The category qCPO is …