Modelling reductions in confluent categories (1990)

by C B Jay
Venue:In Proceedings of the Durham Symposium on Applications of Categories in Computer Science