We prove a categorical structure theorem that shows that every control category is equivalent to a “category of continuations”, in the sense of Hofmann and ...

In this talk, I will describe the categorical semantics of Parigot's λµ-calculus [7]. The λµ-calculus is a proof-term calculus for classical logic, ...

We introduce the class of control categories, which combine a cartesian-closed structure with a premonoidal structure in the sense of Power and Robinson. We ...

We prove a categorical structure theorem that shows that every control category is equivalent to a “category of continuations”, in the sense of Hofmann and ...

Mar 30, 2001 · We give a categorical semantics to the call-by-name and call-by-value versions of Parigot's λμ-calculus with disjunction types.

We introduce the class of control categories, which combine a cartesian-closed structure with a premonoidal structure in the sense of Power and Robinson. We ...

In this talk, I will describe the categorical semantics of Parigot's λμ-calculus [7]. The λμ-calculus is a proof-term calculus for classical logic, ...

Aug 29, 2022 · Abstract:Reinforcement learning (RL) often requires decomposing a problem into subtasks and composing learned behaviors on these tasks.

Categorical perception is an important cognitive function that connects human low-level perceptual systems with high-level conceptual systems. Categorical ...

We introduce the class of control categories, which combine a cartesian-closed structure with a premonoidal structure in the sense of Power and Robinson.