Travelled to:1 × Denmark
1 × Finland
1 × Italy
1 × Japan
1 × Poland
2 × France
2 × Germany
2 × Spain
2 × Switzerland
2 × United Kingdom
5 × USA
Collaborated with:∅ R.Jagadeesan G.McCusker M.Lenisa B.Coecke P.Melliès T.P.Jensen R.Sykes N.Shah D.R.Ghica A.S.Murawski C.L.Ong M.Vákár K.Honda R.S.Barbosa K.Kishida R.Lal S.Mansfield I.D.B.Stark
Talks about:game (10) semant (8) complet (4) full (4) polymorph (3) calculus (3) abstract (3) model (3) fulli (3) type (3)
Person: Samson Abramsky
DBLP: Abramsky:Samson
Facilitated 6 volumes:
EdEd
Ed
EdEdEdContributed to:
20152015
20102007
20052004
2004
200320012000200019991998199719951992
19911987
198519832018Wrote 23 papers:
- CSL-2015-AbramskyBKLM
- Contextuality, Cohomology and Paradox (SA, RSB, KK, RL, SM), pp. 211–228.
- ICALP-v2-2015-AbramskyJV #dependent type #game studies
- Games for Dependent Types (SA, RJ, MV), pp. 31–43.
- LICS-2010-Abramsky #algebra #physics
- Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
- CSL-2007-Abramsky #geometry #interactive #proving
- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (SA), pp. 1–2.
- SAS-2005-Abramsky #algorithm #game studies #semantics #static analysis
- Algorithmic Game Semantics and Static Analysis (SA), p. 1.
- LICS-2004-Abramsky #quantum
- High-Level Methods for Quantum Computation and Information (SA), pp. 410–414.
- LICS-2004-AbramskyC #category theory #protocol #quantum #semantics
- A Categorical Semantics of Quantum Protocols (SA, BC), pp. 415–425.
- LICS-2004-AbramskyGMOS #abstraction #calculus #game studies
- Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.
- TACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification
- Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.
- FoSSaCS-2003-AbramskyJ #game studies #morphism #polymorphism #semantics
- A Game Semantics for Generic Polymorphism (SA, RJ), pp. 1–22.
- CSL-2001-AbramskyL #modelling #λ-calculus
- Fully Complete Minimal PER Models for the Simply Typed λ-Calculus (SA, ML), pp. 443–457.
- CSL-2000-AbramskyL #ml #polymorphism
- A Fully Complete PER Model for ML Polymorphic Types (SA, ML), pp. 140–155.
- ICALP-2000-Abramsky #game studies #semantics
- Game Semantics: Achievements and Prospects (SA), p. 1.
- LICS-1999-AbramskyM #concurrent #game studies
- Concurrent Games and Full Completeness (SA, PAM), pp. 431–442.
- LICS-1998-AbramskyHM #game studies #semantics
- A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
- CSL-1997-AbramskyM #call-by #game studies
- Call-by-Value Games (SA, GM), pp. 1–17.
- LICS-1995-AbramskyM #abstraction #game studies #lazy evaluation #λ-calculus
- Games and Full Abstraction for the Lazy λ-Calculus (SA, GM), pp. 234–243.
- LICS-1992-AbramskyJ #geometry #interactive
- New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.
- POPL-1991-AbramskyJ #analysis #approach #higher-order #polymorphism #relational #strict
- A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions (SA, TPJ), pp. 49–54.
- LICS-1987-Abramsky #logic
- Domain Theory in Logical Form (SA), pp. 47–53.
- FPCA-1985-AbramskyS85 #named #programming #virtual machine
- Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.
- ICALP-1983-Abramsky #multi #on the #semantics
- On Semantic Foundations for Applicative Multiprogramming (SA), pp. 1–14.
- CSL-2018-AbramskyS #semantics
- Relating Structure and Power: Comonadic Semantics for Computational Resources (SA, NS), p. 17.