plfa.github.io icon indicating copy to clipboard operation
plfa.github.io copied to clipboard
verified publisher icon plfa

Investigate a denotation type that is inherently downward closed

Open jsiek opened this issue 3 years ago • 0 comments

[PLW: If denotations were strengthened to be downward closed, we could rewrite the signature replacing (ℰ N) by d : Denotation (Γ , ★)] [JGS: I'll look into this.]

jsiek avatar Jun 22 '22 13:06 jsiek