A formulae-as-type notion of control: classical logic and call/cc in Scheme

2 fanf2 0 6/1/2025, 2:42:04 PM dl.acm.org ↗

Comments (0)

No comments yet