Dialectica categories and games with bidding

DOI10.4230/LIPICS.TYPES.2014.89MaRDI QIDQ5277973zbMATH OpenOpenAlexFDO

Authors Jules Hedges

Publication date 12 July 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2015/5493/pdf/7.pdf

zbMATH Keywords

categorical semanticsdependent typesdialectica categoriesfunctional interpretationsgame semanticslinear logicmodel theory

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Dialectica and Chu constructions: cousins?
• scientific article; zbMATH DE number 4104952
• Cartesian closed Dialectica categories
• Dialectica models of type theory
• scientific article; zbMATH DE number 1497810

Cited in

(4)

• scientific article; zbMATH DE number 1786177 (Why is no real title available?)
• Compositional game theory, compositionally
• Dialectica and Chu constructions: cousins?
• is for Dialectica

This page was built for publication: Dialectica categories and games with bidding

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