Author:
Reus Bernhard,Streicher Thomas
Reference25 articles.
1. Domains and lambda-calculi;Amadio,1998
2. Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan, Full abstraction for PCF, in: Theoretical Aspects of Computer Software, 1994, pp. 1–15.
3. Fully abstract semantics for observably sequential languages;Cartwright;Inf. Comput.,1994
4. On the symmetry of sequentiality;Curien,1993
5. Projecting sequential algorithms on strongly stable functions;Ehrhard;Ann. Pure Appl. Logic,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献