Cohn, Avra; Milner, Robin "On using Edinburgh LCF to prove the correctness of a parsing algorithm" Technical Report UCAM-CL-TR-20 February 1982

Languages mentioned

• Edinburgh LCF {1979}
• LCF {1972} Logic for Computable Functions