Author:
Abramsky Samson,Jagadeesan Radha
Reference25 articles.
1. Formal parametric polymorphism;Abadi,1993
2. Semantics of interaction;Abramsky,1997
3. Geometry of interaction and linear combinatory algebras;Abramsky;Math. Struct. Comput. Sci.,2002
4. Games and full completeness for multiplicative linear logic;Abramsky;J. Symbolic Logic,1994
5. Full abstraction for PCF;Abramsky;Inform. Comput.,2000
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
2. Logic and Geometry of Agents in Agent-Based Modeling;Complex Social and Behavioral Systems;2020
3. Game semantics for dependent types;Information and Computation;2018-08
4. Extensional and Intensional Semantic Universes;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. A Trace Semantics for System F Parametric Polymorphism;Lecture Notes in Computer Science;2018