Sciweavers

LOGCOM
2000

A linearization of the Lambda-calculus and consequences

14 years 7 days ago
A linearization of the Lambda-calculus and consequences
A. J. Kfoury
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where LOGCOM
Authors A. J. Kfoury
Comments (0)