Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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.  investigates the connection beten these models and aims to show that they are essentially the same in a certain sense. Technically  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.  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.
['Takeshi Tsukada', 'C.-H. Luke Ong']
I am writing a research paper on a idea Plays as Resource Terms via Non-idempotent Intersection Types
[{"from": "human", "value": "I am writing a research paper on a idea Plays as Resource Terms via Non-idempotent Intersection Types"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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.  investigates the connection beten these models and aims to show that they are essentially the same in a certain sense. Technically  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.  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."}]