A Linearization of the -Calculus and an Application", under preparation (0)

by A J Kfoury