Lifting as a KZ-doctrine (1995)

by M P Fiore
Venue:Proceedings of the 6 th International Conference, CTCS'95, volume 953 of Lecture Notes in Computer Science