1. José B. Almeida, Ian Mackie, Jorge S. Pinto, and Miguel Vilaça. Encoding Iterators in Interaction Nets (extended abstract). Unpublished
2. The Optimal Implementation of Functional Programming Languages;Asperti,1998
3. Closed reduction: explicit substitutions without alpha-conversion;Fernández;Mathematical Structures in Computer Science,2005
4. Linear logic;Girard;Theor. Comput. Sci.,1987
5. Natural semantics;Kahn,1987