Cartesian closed Dialectica categories
From MaRDI portal
Publication:998318
DOI10.1016/j.apal.2008.07.004zbMath1155.03047MaRDI QIDQ998318
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
03G30: Categorical logic, topoi
03F10: Functionals in proof theory
03F50: Metamathematics of constructive systems
Related Items
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Functional interpretations of linear and intuitionistic logic
Cites Work