I borrow your logic? (Transporting logical structure along maps (0)

by M Cerioli, J Meseguer
Venue:Theoretical Computer Science