Discrete-time machines in closed monoidal categories (1975)

by J A Goguen
Venue:Journal of Computer and System Sciences