Results 1 -
1 of
1
Chu’s Construction: A Proof-theoretic Approach” in Ruy J.G.B. de Queiroz editor
- Logic for Concurrency and Synchronisation”, Kluwer Trends in Logic n.18, 2003, pp.93-114. LAMBDA CALCULUS 37
"... can be given the structure of a \Lambda-autonomous category by a special case of the Chu construction. The main result of the paper is to show that the intuitionistic translations induced by Girard's trips determine the functor from the free \Lambda-autonomous category A on a set of atoms fP; P 0; : ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
can be given the structure of a \Lambda-autonomous category by a special case of the Chu construction. The main result of the paper is to show that the intuitionistic translations induced by Girard's trips determine the functor from the free \Lambda-autonomous category A on a set of atoms fP; P 0; : ::g to C \Theta C op where C is the free monoidal closed category with products and coproducts on the set of atoms fP
