Computational Effect

References

• A HoTT Approach to Computational Effects. Phillip A. Wells. 2019.
• A Categorical View of Computational Effects. Emily Riehl. 2017.