Games and Full Completeness for Multiplicative Linear Logic

Games and Full Completeness for Multiplicative Linear Logic

Show other versions (1)

Bibliographic Details
Main Authors:	Abramsky, S, Jagadeesan, R
Format:	Conference item
Published:	Springer−Verlag 1992

Similar Items

Games and Full Completeness for Multiplicative Linear Logic
by: Abramsky, S, et al.
Published: (1994)

Concurrent Games and Full Completeness
by: Abramsky, S, et al.
Published: (1999)

Linear realizability and full completeness for typed lambda−calculi
by: Abramsky, S, et al.
Published: (2005)

Game Semantics for Access Control
by: Abramsky, S, et al.
Published: (2009)

Full abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

Full Abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

A Game Semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2005)

A Game semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2003)

Computational Interpretations of Linear logic
by: Abramsky, S
Published: (1993)

Axioms for Definability and Full Completeness
by: Abramsky, S
Published: (1999)

Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994)

Sequentiality vs. concurrency in games and logic
by: Abramsky, S
Published: (2003)

Game semantics for dependent types
by: Vákár, M, et al.
Published: (2018)

Constructing Fully Complete Models of Multiplicative Linear Logic
by: Andrea Schalk, et al.
Published: (2015-09-01)

A Compositional Game Semantics for Multi−Agent Logics of Partial Information
by: Abramsky, S
Published: (2007)

Games and Full Abstraction for the Lazy λ−calculus
by: Abramsky, S, et al.
Published: (1995)

Nominal games and Full Abstraction for the Nu−Calculus
by: Abramsky, S, et al.
Published: (2004)

Two variable and linear temporal logic in model checking and games
by: Lenhardt, R
Published: (2013)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
by: Abramsky, S, et al.
Published: (1997)

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1992)

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1994)

Proof Diagrams for Multiplicative Linear Logic
by: Matteo Acclavio
Published: (2017-01-01)

Domain Theory in Logical Form
by: Abramsky, S
Published: (1991)

Domain Theory in Logical Form
by: Abramsky, S
Published: (1987)

A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2006)

A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2006)

A Categorical Quantum Logic
by: Abramsky, S, et al.
Published: (2004)

TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES
by: Benedikt, M, et al.
Published: (2013)

Two Variable vs. Linear Temporal Logic in Model Checking and Games
by: Benedikt, M, et al.
Published: (2011)

Exhausting strategies, joker games and full completeness for IMLL with Unit
by: Murawski, A, et al.
Published: (2003)

Logic and categories as tools for building theories
by: Abramsky, S
Published: (2010)

Observational Logic and Process Semantics (Abstract)
by: Abramsky, S
Published: (1989)

Socially Responsive‚ Environmentally Friendly Logic
by: Abramsky, S
Published: (2006)

Domain Theory and the Logic of Observable Properties
by: Abramsky, S
Published: (1987)

Logical Bell Inequalities
by: Abramsky, S, et al.
Published: (2012)

Logical Bell Inequalities
by: Abramsky, S, et al.
Published: (2012)

Abstract Interpretation‚ Logical Relations and Kan Extensions
by: Abramsky, S
Published: (1990)

Quantales‚ Observational Logic and Process Semantics
by: Abramsky, S, et al.
Published: (1993)

Two Variable vs. Linear Temporal Logic in Model Checking and Games
by: Michael Benedikt, et al.
Published: (2013-05-01)

Concurrent Interaction Games
by: Abramsky, S
Published: (2000)