1. Axioms for full abstraction and full completeness;Abramsky;Submitted for publication,1996
2. Full abstraction for PCF;Abramsky;Submitted for publication,1996
3. Full abstraction for sequential languages: the state of the art;Berry,1986
4. What is a categorical model of intuitionistic linear logic?;Bierman,1995
5. Categories for Types;Crole,1994