Researcher

Samson Abramsky

ORCID 0000-0003-3921-6637

Oxford University

Statistics

105 papers found

Refine by OA status

Refine

Papers authored by Samson Abramsky

Paper animated bird

Refreshing results…

This paper is made freely available by the publisher.
Samson Abramsky ORCID

Process Realizability

Download from doi.org
This paper is available in a repository.
1998 Samson Abramsky ORCID, Guy McCusker

Call-by-value games

Download from www.researchgate.net
This paper is available in a repository.
Samson Abramsky ORCID

Game semantics for programming languages

Download from www.researchgate.net
This paper is available in a repository.
D. Pavlovic, S. Abramsky ORCID

Specifying Interaction Categories

Download from citeseerx.ist.psu.edu
This paper is available in a repository.
1996 Samson Abramsky ORCID

Retracing some paths in process algebra

Download from arxiv.org
This paper is available in a repository.
Samson Abramsky ORCID

Semantics of interaction

Download from arxiv.org
This paper is made freely available by the publisher.
1994 Samson Abramsky ORCID

Preface

Download from doi.org
This paper is made freely available by the publisher.
Samson Abramsky ORCID

Proofs as processes

Download from doi.org

Missing publications? Search for publications with a matching author name.