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 structure, and finding the right notions of invariance for these structures.

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Abramsky, S. (2014). Intensionality, definability and computation. In Johan van Benthem on Logic and Information Dynamics (pp. 121–142 ). Springer, Cham.

MLA Style

Abramsky, S. “Intensionality, Definability and Computation.” Johan Van Benthem on Logic and Information Dynamics, Springer, Cham, 2014, pp. 121–42 .

Chicago Style

Abramsky, S. 2014. “Intensionality, Definability and Computation.” In Johan Van Benthem on Logic and Information Dynamics, 121–42 . Springer, Cham.
Share
Print

Access Document

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

Authors

+ Abramsky, S More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Oxford college:: Wolfson College
Role:: Author
ORCID:: 0000-0003-3921-6637

+ Engineering and Physical Sciences Research Council More from this funder

Grant:: EP/K015478/1

Publisher:: Springer, Cham
Host title:: Johan van Benthem on Logic and Information Dynamics
Pages:: 121-142
Publication date:: 2014-08-27
DOI:: 10.1007/978-3-319-06025-5_5
ISBN:: 9783319060248

Keywords:: computation

extensionality

definability

game semantics

intentionality
Pubs id:: pubs:833349
UUID:: uuid:70013c9a-63f9-4b89-b096-426304b6d625
Local pid:: pubs:833349
Source identifiers:: 833349
Deposit date:: 2018-10-16

Terms of use

Copyright holder:: Springer International Publishing Switzerland
Copyright date:: 2014
Notes:: Copyright © 2014 Springer International Publishing Switzerland.

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About 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