# The Dialectica interpretation of first-order classical affine logic.

Theory and Applications of Categories [electronic only] (2006)

- Volume: 17, page 49-79
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topShirahata, Masaru. "The Dialectica interpretation of first-order classical affine logic.." Theory and Applications of Categories [electronic only] 17 (2006): 49-79. <http://eudml.org/doc/127621>.

@article{Shirahata2006,

author = {Shirahata, Masaru},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {linear logic; Dialectica interpretation; categorical logic},

language = {eng},

pages = {49-79},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {The Dialectica interpretation of first-order classical affine logic.},

url = {http://eudml.org/doc/127621},

volume = {17},

year = {2006},

}

TY - JOUR

AU - Shirahata, Masaru

TI - The Dialectica interpretation of first-order classical affine logic.

JO - Theory and Applications of Categories [electronic only]

PY - 2006

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 17

SP - 49

EP - 79

LA - eng

KW - linear logic; Dialectica interpretation; categorical logic

UR - http://eudml.org/doc/127621

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.