Horizontal composability revisited

2006

Donald Sannella, Andrzej Tarlecki

in: Algebra, meaning, and computation, Berlin,