Andrzej Tarlecki, Behavioural satisfaction and equivalence in concrete model categories (1996)

by Michel Bidoit
Venue:Proceedings of the 21st Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science