Sciweavers

LOGCOM
2000

A linearization of the Lambda-calculus and consequences

13 years 11 months 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)