Prather, R.E., A Categorical Expression Language, submitted to Mathematical Structures in Computer Science, 1991
(1991)
Languages mentioned
CAT
{1990}