Published April 18, 2025
| Version v3
Software
Open
Agda Formalization of "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus"
Authors/Creators
-
1.
University of Michigan–Ann Arbor
Description
Agda formalization to accompany the paper "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus" by Steven Schaefer, Nathan Varner, Perdo H. Azevedo de Amorim, and Max S. New.
The development is contained in the included Docker image, and instructions for building are found in the attached README.
Files
README.md
Files
(885.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:33320781eef993913222e7dc04641550
|
885.8 MB | Download |
|
md5:9cd1a85dc03b17cd20fdf0c7087288df
|
30.8 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/maxsnew/grammars-and-semantic-actions
- Programming language
- Agda