Login / Signup

Modules over relative monads for syntax and semantics.

Benedikt Ahrens
Published in: Math. Struct. Comput. Sci. (2016)
Keyphrases