A linearization of the -calculus and an application (0)

by A J Kfoury