Conference item icon

Conference item

Quantitative semantics of the lambda calculus: Some generalisations of the relational model

Abstract:

We present an overview of some recent work on the quantitative semantics of the π›Œ-calculus. Our starting point is the fundamental degenerate model of linear logic, the relational model. We show that three quantitative semantics of the simplytyped π›Œ-calculus are equivalent: the relational semantics, HO/N game semantics, and the Taylor expansion semantics. We then consider two recent generalisations of the relational model: first, R-weighted relational models where R is a complete commutative s...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1109/LICS.2017.8005064

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
Merton College
Publisher:
Institute of Electrical and Electronics Engineers Publisher's website
Publication date:
2017-08-05
Acceptance date:
2017-05-12
DOI:
Pubs id:
pubs:735468
URN:
uri:9c752eb8-74b3-41f4-b451-225321b671d8
UUID:
uuid:9c752eb8-74b3-41f4-b451-225321b671d8
Local pid:
pubs:735468
ISBN:
978-1-5090-3018-7

Terms of use


Metrics



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

TO TOP