home
items
computational effect
Computational Effect
Contents
References
References
Phillip A. Wells. A HoTT Approach to Computational Effects. 2019.
Emily Riehl. A Categorical View of Computational Effects. 2017.