Cartesian closed Dialectica categories

DOI10.1016/J.APAL.2008.07.004zbMATH Open1155.03047OpenAlexW2069777583MaRDI QIDQ998318FDOQ998318

Authors: Bodil Biering 

Publication date: 28 January 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.07.004

Recommendations

• scientific article; zbMATH DE number 4104952
• The Dialectica monad and its cousins
• Dialectica models of type theory
• Natural number objects in Dialectica categories
• Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory

zbMATH Keywords

realizabilityDialectica categoriesDialectica interpretationfunctional interpretation

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Functionals in proof theory (03F10)

Cites Work

• Categorical logic and type theory
• Introduction to extensive and distributive categories
• Title not available (Why is that?)
• Functional interpretations of linear and intuitionistic logic
• Proof theory in the abstract

Cited In (6)

• Title not available (Why is that?)
• The Dialectica interpretation of first-order classical affine logic
• Functional interpretations of linear and intuitionistic logic
• The Dialectica monad and its cousins
• Title not available (Why is that?)
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions

This page was built for publication: Cartesian closed Dialectica categories

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