Milner, R., Logic for computable functions, description of a machine implementation Artificial Intelligence Memo No. 169,Stanford University (1972).

Languages mentioned

• LCF {1972} Logic for Computable Functions