# linking-together

Mariano Guerra

12/29/2023, 5:40 PM
A Core Calculus for Documents: Or, Lambda: The Ultimate Document
There are no theoretical tools for reasoning about the design of a document language. Programming language theorists can use the lambda calculus to reason about the design of general-purpose programming languages. No such formal model exists for document languages.
Our work addresses this issue by providing a document calculus, or a formal model of the programmatic aspects of document languages.