Enriched Categories as Models of Computation (1995)

by F Gadducci, U Montanari
Venue:Proc. 3rd Italian Conference on Theoretical Computer Science, Ravello