On using Edinburgh LCF to prove the correctness of a parsing algorithm

Avra Cohn, Robin Milner

Research output: Working paper

Fingerprint

Dive into the research topics of 'On using Edinburgh LCF to prove the correctness of a parsing algorithm'. Together they form a unique fingerprint.

Mathematics