Dialectica and Chu constructions: cousins?

MaRDI QIDQ5298120zbMATH OpenFDO

Authors Valeria de Paiva

Publication date 16 July 2007

Full work available at URL https://eudml.org/doc/128090, http://www.emis.de/journals/TAC/volumes/17/7/17-07abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

categorical modelsChu spacesdialectica categorieslinear logicmonoidal closed categoriesmonoidal comonad

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• scientific article; zbMATH DE number 4104952
• Dialectica categories and games with bidding
• The Dialectica monad and its cousins
• Chu. I: Cofree equivalences, dualities and *-autonomous categories

Cited in

(13)

• Morphisms of open games
• Some classes of abstract simplicial complexes motivated by module theory
• A topologist's view of Chu spaces
• Natural number objects in Dialectica categories
• The Dialectica monad and its cousins
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 2020176 (Why is no real title available?)
• Linear logic model of state revisited
• Dialogue categories and chiralities
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Dialectica categories and games with bidding
• Algebraic and order properties of maps and structures related to dependence relations arising in topology, algebra and rough set theory

This page was built for publication: Dialectica and Chu constructions: cousins?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5298120)