processing...
home
items
computational effect
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Computational Effect
References
A HoTT Approach to Computational Effects. Phillip A. Wells. 2019.
A Categorical View of Computational Effects. Emily Riehl. 2017.