Full Abstraction for Lambda Calculus with Resources and Convergence Testing

• Authors:

• Gérard Boudol;Carolina Lavatelli

• Affiliations:

• -;-

• Venue:
• CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
• Year:
• 1996