"Comparing Hagino's Categorical Programming Language and Typed lambda-Calculi."

Hans Dybkjær, Austin Melton (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics