Book section icon

Book section

Intensionality, definability and computation

Abstract:

We look at intensionality from the perspective of computation. In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully abstract models of programming languages, with applications in program analysis and verification. In a broader context, we can regard game semantics as a first step towards developing a positive theory of intensional structures with a robust mathematical stru...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1007/978-3-319-06025-5_5

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Wolfson College
Role:
Author
ORCID:
0000-0003-3921-6637
Publisher:
Springer, Cham Publisher's website
Pages:
121-142
Host title:
Johan van Benthem on Logic and Information Dynamics
Publication date:
2014-08-27
DOI:
Pubs id:
pubs:833349
URN:
uri:70013c9a-63f9-4b89-b096-426304b6d625
UUID:
uuid:70013c9a-63f9-4b89-b096-426304b6d625
Local pid:
pubs:833349
ISBN:
978-3-319-06024-8

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP