Avra Cohn

• The correctness of a precedence parsing algorithm in LCF