APA Citation

Setzer, A., & Igried, B. (2016). Programming with monadic CSP-style processes in dependent type theory. TyDe 2016, pp. 28-38. doi:10.1145/2976022.2976032

Chicago Style Citation

Setzer, Anton, and Bashar Igried. "Programming With Monadic CSP-style Processes in Dependent Type Theory." TyDe 2016 2016: 28-38.

MLA Citation

Setzer, Anton, and Bashar Igried. "Programming With Monadic CSP-style Processes in Dependent Type Theory." TyDe 2016 2016: 28-38.

Warning: These citations may not always be 100% accurate.