A Symmetric Complement to the Lambda Calculus. Technical report, Gesellschaft fur Mathematik und Datenverarbeitung mbH (1976)

by K J Berkling
Venue:Interner Bericht ISF-76-7, GMD, D-5205, St. Augustin