Cartesian Closed Dialectica Categories

Bodil Biering

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Abstract

Udgivelsesdato: 16.12

Original language	English
Journal	Annals of Pure and Applied Logic
Volume	156
Pages (from-to)	290-307
Number of pages	18
ISSN	0168-0072
DOIs	https://doi.org/doi:10.1016/j.apal.2008.07.004
Publication status	Published - 2008

@article{5b0461b0d03911dda259000ea68e967b,

title = "Cartesian Closed Dialectica Categories",

abstract = "Udgivelsesdato: 16.12",

author = "Bodil Biering",

note = "Annals of Mathematical Logic continued as Annals of Pure and Applied Logic Paper id:: 0.1016/j.apal.2008.07.004",

year = "2008",

doi = "doi:10.1016/j.apal.2008.07.004",

language = "English",

volume = "156",

pages = "290--307",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

}

TY - JOUR

T1 - Cartesian Closed Dialectica Categories

AU - Biering, Bodil

N1 - Annals of Mathematical Logic continued as Annals of Pure and Applied Logic Paper id:: 0.1016/j.apal.2008.07.004

PY - 2008

Y1 - 2008

N2 - Udgivelsesdato: 16.12

AB - Udgivelsesdato: 16.12

U2 - doi:10.1016/j.apal.2008.07.004

DO - doi:10.1016/j.apal.2008.07.004

M3 - Journal article

SN - 0168-0072

VL - 156

SP - 290

EP - 307

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

ER -