A Core Calculus for Documents

28/06/2026 Font: Lobste.rs Tags: pdf, plt