A continuation-passing evaluation semantics for classical proofs

4 months ago 17

Hostinger Web Hosting

Home
Cornell Computing and Information Science
Computer Science
Computer Science Technical Reports
An Evaluation Semantics for Classical Proofs

Read Entire Article

Hostinger Web Hosting