1. M. Abadi, “A Semantics for Static Type Inference in a Nondeterministic Language”, to appear in Info. and Comp.
2. S. Abramsky, “Domain Theory in Logical Form”, Ann. of Pure and Appl. Logics, 51, 1991, 1–77.
3. S. Abramsky, C.-H.L. Ong, “Full Abstraction in the Lazy Lambda Calculus”, Technical Report 259, Cambridge University Computer Laboratory, 1992. To appear in Info. and Comp.
4. F. Alessi, “Prime Type Structures”, CAAP'94, LNCS, Springer, Berlin, to appear.
5. F. Barbanera, M. Dezani-Ciancaglini, U. de'Liguoro, “Intersection and Union Types: Syntax and Semantics”, to appear in Info. and Comp.