Derivation of a Parsing Algorithm in Martin-Lof's theory of types (1987)

by P Chisholm
Venue:Science of Computer Programming