Author:
Hankin Chris,Nagarajan Rajagopal,Sampath Prahladavaradan
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Samson Abramsky, Kohei Honda, and Guy McCusker. A fully abstract game semantics for general references. In Proceedings of LICS’98. IEEE Press, 1998.
2. Lect Notes Comput Sci;S. Abramsky,1994
3. Samson Abramsky and Guy McCusker. Linearity, sharing and state: a fully abstract game semantics for idealized algol with active expressions. In Peter W O’Hearn and R D Tennent, editors, Algol-like Languages, volume 2. Birkhaüser, 1997.
4. Henk Barendregt, J R Kennaway, J W Klop, and M R Sleep. Needed reduction and spine strategies for the lambda calculus. Information and Computation, 74:191–231, 1987.
5. Vincent Danos. Une Application de la Logique Linéaire à l’Étude des Processus de Normalisation (Principalement du Lambda-calcul). PhD thesis, Université Paris VII, 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献