1. A PER model of polymorphism and recursive types;Abadi,1990
2. Proofs as processes;Abramsky;Theoret. Comput. Sci.,1994
3. Abramsky, S, and, Jagadeesan, R. 1993, Game semantics for exponentials, Announcement on the types mailing list.
4. Games and full completeness for multiplicative linear logic;Abramsky;J. Symbolic Logic,1994
5. Domain theory;Abramsky,1994