Dwight L. Spencer "Categorical Programming with Functorial Strength" PhD thesis, The Oregon Graduate Institute of Science and Technology Jan, 1993
(1993)
Languages mentioned
Charity
{1990}