Tags

Semantics of Separation-Logic Typing and Higher-Order Frame Rules

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-06-11 Thu 16:00

Emacs 30.2 (Org mode 9.7.11)

Validate