Agda Formalization of "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus"

Schaefer, Steven; Varner, Nathan; Azevedo de Amorim, Pedro Henrique; New, Max S.

doi:10.5281/zenodo.15049780

There is a newer version of the record available.

Published March 19, 2025 | Version v2

Software Open

Agda Formalization of "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus"

1. University of Michigan–Ann Arbor

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 (906.0 MB)

Name	Size	Download all
dependent-lambek-calculus.tar md5:5d6ee32320513f1ad9b1160e85f08b5b	905.9 MB	Download
README.md md5:cf016f0f8ac2cac81cffa03e0fec3192	29.8 kB	Preview Download

Additional details

Programming language: Agda

173

Views

Downloads

Show more details

	All versions	This version
Views	173	106
Downloads	97	24
Data volume	236.7 GB	10.9 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Technical metadata

Created: March 19, 2025
Modified: March 19, 2025

Agda Formalization of "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus"

Authors/Creators

Description

Files

README.md

Files (906.0 MB)

Additional details

Software