Gérard Boudol, Carolina Lavatelli. Full Abstraction for Lambda Calculus with Resources and Convergence Testing. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 302-316, Springer, 1996.
Abstract is missing.