Pseudo-distributive laws (0)

by E Cheng, M Hyland, J Power
Venue:Electronic Notes in Theoretical Computer Science