Cartesian closed Dialectica categories
type: Item
instance of: scholarly article
title: Cartesian closed Dialectica categories
zbMATH Open document ID: 1155.03047
author: Bodil Biering
published in: Annals of Pure and Applied Logic
publication date: 2009-01-28T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F10
zbMATH DE Number: 5499729
zbMATH Keywords: Dialectica categories
zbMATH Keywords: Dialectica interpretation
zbMATH Keywords: functional interpretation
zbMATH Keywords: realizability
MaRDI profile type: Publication
full work available at URL: j.apal.2008.07.004
OpenAlex ID: W2069777583
cites work: Introduction to extensive and distributive categories
cites work: Q3829551
cites work: Proof theory in the abstract
cites work: Categorical logic and type theory
cites work: Functional interpretations of linear and intuitionistic logic
DOI: 10.1016/J.APAL.2008.07.004
description: scientific article; zbMATH DE number 5499729