1. Explicit substitutions;Abadi;J. of Functional Programming,1991
2. S. Aditya, Arvind, L. Augustsson, J.-W. Maessen, and R. S. Nikhil. Semantics of pH: A Parallel Dialect of Haskell. In Proc. Haskell Wkshp. (FPCA 95), La Jolla CA, USA, June 1995.
3. S. Aditya, Arvind, and J. Stoy. Semantics of barriers in a non-strict, implicitly-parallel language. In Functional Programming and Computer Architecture, 1995.
4. Properties of a first-order functional language with sharing;Ariola and Arvind;Theoretical Computer Science,1995
5. Z. M. Ariola and S. Blom. Cyclic lambda calculi. Technical Report CIS-TR-96–13, Dept. of Computer and Information Sciences, Univ. of Oregon, Eugene OR, USA, 1996.