Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus. - Steven Schaefer; Nathan Varner; Pedro Henrique Azevedo de Amorim; Max S. New (Proc. ACM Program. Lang., 2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version). - Steven Schaefer; Nathan Varner; Pedro H. Azevedo de Amorim; Max S. New (CoRR, 2025)