Lifting in Category theory and computer science (Santa Margherita Ligure (1997)

by A Bucalo, G Rosolini
Venue:Lecture Notes in Computer Science