I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science 173 (0)

by M CERIOLI, J MESEGUER