I borrow your logic? (Transporting logical structure along maps). Theoretical Computer Science (0)

by M Cerioli, J Meseguer