Author:
Ghica Dan R.,Tzevelekos Nikos
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. S. Abramsky, D.R. Ghica, A.S. Murawski, C.-H.L. Ong, and I.D.B. Stark. Nominal games and full abstraction for the nu-calculus. In LICS, pp 150–159, 2004.
2. Full abstraction for PCF;Abramsky;Inf. Comput.,2000
3. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions;Abramsky;Electr. Notes Theor. Comput. Sci.,1996
4. N. Benton and C.-K. Hur. Biorthogonality, step-indexing and compiler correctness. In ICFP, 2009.
5. A new approach to abstract syntax with variable binding;Gabbay;Formal Asp. Comput.,2002
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding;Proceedings of the ACM on Programming Languages;2023-01-09
4. The Far Side of the Cube;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
5. Operational Semantics with Hierarchical Abstract Syntax Graphs;Electronic Proceedings in Theoretical Computer Science;2021-02-08