Tag
A formal core calculus for documents is presented, likely exploring type systems or semantics for document processing.