A semantics for lambda calculi with resources
BOUDOL, GÉRARD, CURIEN, PIERRE-LOUIS, LAVATELLI, CAROLINAVolume:
9
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129599002893
Date:
August, 1999
File:
PDF, 482 KB
english, 1999