This note investigates two generic constructions used to produce categorical models of linear logic, the Chu construction and the Dialectica construction, in parallel. The constructions have the same objects, but are rather di#erent in other ways. We discuss similarities and di#erences and prove that the dialectica construction can be done over a symmetric monoidal closed basis. We also point out several interesting open problems concerning the Dialectica construction
We give a series of glueing constructions for categorical models of fragments of linear logic. Speci...
We investigate the linear logic of Chu spaces as defined by its dinaturality semantics. For those fo...
This paper studies colimits of sequences of finite Chu spaces and theirramifications. Besides generi...
The aim of this work is to define the categories GC, describe their categorical structure and show t...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of ...
AbstractThe motivating role of linear logic is as a “logic behind logic”. We propose a sibling role ...
AbstractWhen Gödel developed his functional interpretation, also known as the Dialectica interpretat...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
AbstractThe proof-theoretic origins and specialized models of linear logic make it primarily operati...
This paper presents a construction which transforms categorical models of additive-free propositiona...
AbstractThe motivating role of linear logic is as a “logic behind logic”. We propose a sibling role ...
We give a series of glueing constructions for categorical models of fragments of linear logic. Speci...
We investigate the linear logic of Chu spaces as defined by its dinaturality semantics. For those fo...
This paper studies colimits of sequences of finite Chu spaces and theirramifications. Besides generi...
The aim of this work is to define the categories GC, describe their categorical structure and show t...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica catego...
Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of ...
AbstractThe motivating role of linear logic is as a “logic behind logic”. We propose a sibling role ...
AbstractWhen Gödel developed his functional interpretation, also known as the Dialectica interpretat...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
The proof-theoretic origins and specialized models of linear logic make it primarily operational in ...
AbstractThe proof-theoretic origins and specialized models of linear logic make it primarily operati...
This paper presents a construction which transforms categorical models of additive-free propositiona...
AbstractThe motivating role of linear logic is as a “logic behind logic”. We propose a sibling role ...
We give a series of glueing constructions for categorical models of fragments of linear logic. Speci...
We investigate the linear logic of Chu spaces as defined by its dinaturality semantics. For those fo...
This paper studies colimits of sequences of finite Chu spaces and theirramifications. Besides generi...