Cartesian Closed Dialectica Categories

Bodil Biering

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstrakt

Udgivelsesdato: 16.12

Originalsprog	Engelsk
Tidsskrift	Annals of Pure and Applied Logic
Vol/bind	156
Sider (fra-til)	290-307
Antal sider	18
ISSN	0168-0072
DOI	https://doi.org/doi:10.1016/j.apal.2008.07.004
Status	Udgivet - 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

VL - 156

SP - 290

EP - 307

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

ER -