Partially additive categories and fully complete models of linear logic

Authors:
Esfandiar Haghverdi
Affiliations:
Department of Mathematics, University of Pennsylvania, Philadelphia, PA
Venue:
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Year:
2001

Citing 11
Cited 4

Introduction to higher order categorical logic

Introduction to higher order categorical logic
Algebraic approaches to program semantics

Algebraic approaches to program semantics
Functorial polymorphism

Theoretical Computer Science - Special issue: Fourth workshop on mathematical foundations of programming semantics, Boulder, CO, May 1988
Linear logic, coherence and dinaturality

Selected papers of the 4th summer conference on Category theory and computer science
Games and full completeness for multiplicative linear logic

Journal of Symbolic Logic
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi

TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Retracting Some Paths in Process Algebra

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Full Completeness of the Multiplicative Linear Logic of Chu Spaces

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Concurrent Games and Full Completeness

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic

Mathematical Structures in Computer Science
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

Mathematical Structures in Computer Science

On Köthe sequence spaces and linear logic

Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras

Mathematical Structures in Computer Science
A categorical model for the geometry of interaction

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
From Geometry of Interaction to Denotational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We construct a new class of models for linear logic. These models are constructed on partially additive categories using the Int construction of Joyal- Street and Verity and double glueing construction of Hyland and Tan. We prove full completeness for MLL+MIX in these models.