Reproduce “Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.