Tags

Modular Denotational Semantics for Effects with Guarded Interaction Trees

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-06-10 Wed 14:50

Emacs 31.1 (Org mode 9.8.7)

Validate