Login / Signup
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq.
Burak Ekici
Published in:
CICM Workshops (2018)
Keyphrases
</>
traffic flow
construction process
database
databases
case study