A Core Calculus for Documents
Summary
A formal core calculus for documents is presented, likely exploring type systems or semantics for document processing.
Similar Articles
Tree Calculus
This article provides a visual introduction to tree calculus, a minimal, modular, Turing-complete, and reflective calculus system in theoretical computer science, emphasizing its simplicity and teachability.
Structure for Reading, Prose for Writing: Asymmetric Structural Conditioning in Multi-Agent Document Authoring
The paper evaluates a deployed multi-agent system for formal tender responses, demonstrating it matches human quality in evaluations and highlights the asymmetry where structural markup aids reading but not writing.
A Typed, Algebraic Approach to Parsing
A paper presenting a typed, algebraic approach to parsing, likely from the University of Cambridge.
Simplifying and Refactoring Introductory Calculus
The paper proposes refactoring introductory calculus to simplify teaching by reducing redundancy and reordering topics, using analogies from code refactoring in computer programming.
How to Formalize All of Mathematics
A guest post by leading formalization researchers (Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz) reflecting on AI's rapid theorem-proving advances, cautioning against rushed large-scale formalization efforts like Math, Inc.'s sphere-packing project and Anthropic's Fermat's Last Theorem verification, and outlining a positive vision for high-quality, community-driven formalization of mathematics.