Programming with monadic CSP-style processes in dependent type theory
Date first appeared online 19/09/2016
DOI 10.1145/2976022.2976032
Authors Setzer A.
Journal Name TyDe 2016
Volume

Documents