Login / Signup

Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad.

Koki NishizawaNorihiro Tsumagari
Published in: RAMiCS (2018)
Keyphrases