Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference46 articles.
1. Full abstraction for PCF;Abramsky;Inf. Comput.,2000
2. Domain theory;Abramsky,1994
3. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions;Abramsky;Electron. Notes Theor. Comput. Sci.,1996
4. Game semantics;Abramsky,1999
5. Semantics of interaction: an introduction to game semantics;Abramsky,1997
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献