ITU

Cartesian Closed Dialectica Categories

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View graph of relations

Udgivelsesdato: 16.12
Original languageEnglish
JournalAnnals of Pure and Applied Logic
Volume156
Pages (from-to)290-307
Number of pages18
ISSN0168-0072
DOIs
Publication statusPublished - 2008

ID: 269243