A semantics for lambda calculi with resource (1999)

by Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli
Venue:Mathematical Structures in Computer Science