A Linearization of the Lambda-Calculus and Consequences (2000)

by A.J. Kfoury
Citations:2 - 0 self