Sciweavers

CTRS
1990

A Simplifier for Untyped Lambda Expressions

14 years 3 months ago
A Simplifier for Untyped Lambda Expressions
Louis Galbiati, Carolyn L. Talcott
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1990
Where CTRS
Authors Louis Galbiati, Carolyn L. Talcott
Comments (0)