Loading [MathJax]/extensions/MathMenu.js
Plays as Resource Terms via Non-idempotent Intersection Types | IEEE Conference Publication | IEEE Xplore

Plays as Resource Terms via Non-idempotent Intersection Types


Abstract:

A program is interpreted as a collection of resource terms by the Taylor expansion, as a collection of plays by game semantics, and as a collection of types by a non-idem...Show More

Abstract:

A program is interpreted as a collection of resource terms by the Taylor expansion, as a collection of plays by game semantics, and as a collection of types by a non-idempotent intersection type assignment system. This paper investigates the connection between these models and aims to show that they are essentially the same in a certain sense. Technically we study the relational interpretations of resource terms and of plays, which can be seen as non-idempotent intersection type assignment systems for resource terms and plays, respectively. We show that both relational interpretations are injective, have the same image, and respect composition. This result allows us to study a property of the game model by using the syntax of a resource calculus and vice versa.
Date of Conference: 05-08 July 2016
Date Added to IEEE Xplore: 16 December 2018
ISBN Information:

ISSN Information:

Conference Location: New York, NY, USA

References

References is not available for this document.