The Dialectica Categories

Dissertation, University of Cambridge, Uk (1990)
  Copy   BIBTEX

Abstract

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class of construction.

Author's Profile

Valeria Correa Vaz De Paiva
University of Birmingham

Analytics

Added to PP
2017-10-22

Downloads
194 (#72,943)

6 months
63 (#73,004)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?