Sciweavers

FLOPS
1999
Springer

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

15 years 1 months ago
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
Olivier Danvy
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FLOPS
Authors Olivier Danvy
Comments (0)