Similar Items: Compiling With Classical Connectives
- Modular, Fully-abstract Compilation by Approximate Back-translation
- depyf: Open the Opaque Box of PyTorch Compiler for Machine Learning Researchers
- Constructive Domains with Classical Witnesses
- Connecting the Dots
- Classical BI: Its Semantics and Proof Theory
- Environment and classical channels in categorical quantum mechanics