Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda (Q5739890)
From MaRDI portal
scientific article; zbMATH DE number 6601109
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda |
scientific article; zbMATH DE number 6601109 |
Statements
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda (English)
0 references
6 July 2016
0 references
functional programming
0 references
correctness
0 references
context-free languages
0 references
lambda calculus
0 references
context-free parsing
0 references
Valiant's algorithm
0 references
Agda
0 references
