I borrow your logic? (transporting logical structures along maps (0)

by M Cerioli, J Meseguer
Venue:Theoretical Computer Science