Lifting as a KZ-doctrine (1995)

Cached

Download Links

by Marcelo P. Fiore
Venue:Proceedings of the 6 th International Conference, CTCS'95, volume 953 of Lecture Notes in Computer Science
Citations:3 - 2 self