1. The Lazy lambda calculus;Abramsky,1988
2. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
3. Reactive Turing machines;Baeten;Inf. Comput.,2013
4. Towards a Lambda Calculus for Concurrent and Communicating Systems;Boudol,1989
5. Mobile ambients;Cardelli;Theor. Comput. Sci.,2000