Translation overview

Launchpad does not know where An algebraic theory of type-and-effect systems translates its messages.