New Foundations for the Geometry of Interaction

New Foundations for the Geometry of Interaction

Show other versions (1)

Bibliographic Details
Main Authors:	Abramsky, S, Jagadeesan, R
Format:	Conference item
Published:	IEEE 1992

Similar Items

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

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

Geometry of Interaction and linear combinatory algebras
by: Abramsky, S, et al.
Published: (2002)

Foundations of geometry/
by: 174681 Hilbert, David
Published: (1971)

The foundations of geometry /
by: 233715 Venema, Gerard A.
Published: (2006)

The foundation of geometry/
by: 436894 Robinson, Gilbert de Beauregard
Published: (1952)

Foundations of geometry/
by: 219777 Wylie, Clarence Raymond
Published: (1964)

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

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

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

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

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

Semantic Foundations for Applicative Multiprogramming
by: Abramsky, S
Published: (1983)

Foundations of analytical geometry/
by: Smart, William Marshall, 1889-
Published: (1956)

Foundations of projective geometry/
by: 305688 Hartshorne, Robin
Published: (1967)

Foundations of geometry & induction
by: 447333 Nicod, Jean

Foundations of geometry and trigonometry/
by: 409761 Levi, Howard
Published: (1975)

Foundations of differential geometry /
by: 343650 Kobayashi, Shoshichi, et al.
Published: (1963)

The dynamical foundations of physical geometry
by: Menon, T
Published: (2018)

Euclid's and Hilbert's foundations of geometry
by: Benno Artmann
Published: (2000-10-01)

Frege on the Foundation of Geometry in Intuition
by: Jeremy Shipley
Published: (2015-08-01)

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

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

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

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

An essay on the foundation of geometry : with a new foreword byMorris Kline/
by: Russell, Bertrand, 1872-1970, et al.
Published: (1956)

Handbook of incidence geometry : buildings and foundations /
by: Buckenhout, Francis
Published: (1995)

Fractal geometry : mathematical foundations and applications /
by: 316095 Falconer, Kenneth
Published: (2003)

Foundations of three-dimensional euclidean geometry /
by: Vaisman, Izu, 1938-
Published: (1980)

Foundations of Euclidean and non-Eulidean geometry/
by: 174662 Golos, Ellery B.
Published: (1968)

Foundations of euclidean and non-euclidean geometry/
by: 239221 Faber, Richard L.
Published: (1983)

Effect Of Foundation Geometry On Short Abutment Scour
by: Ghalati, Reza Mohammadpour
Published: (2012)

Shell foundations : geometry, analysis, design and construction /
by: 451703 Kurian, Nainan P.
Published: (2006)

Foundations of mathematics : questions of analysis, geometry and algorithmics /
by: 460476 Engeler, Erwin, et al.
Published: (1993)

Foundation phase teachers’ (limited) knowledge of geometry
by: Kakoma Luneta
Published: (2014-12-01)

Intelligent Anti-Seismic Foundation: The Role of Fractal Geometry
by: Ahmad Saoud, et al.
Published: (2023-07-01)

On the proof of the theorems of foundations of geometry using Isabelle/HOL
by: Takahashi, Tadashi, et al.
Published: (2022)

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

Interaction Categories (Extended Abstract)
by: Abramsky, S
Published: (1993)

Semantics of Interaction: an introduction to Game Semantics
by: Abramsky, S
Published: (1997)