Stem lcf$ (all stems)

4 papers:

CADE-2002-Hurd #first-order #interface #logic

An LCF-Style Interface between HOL and First-Order Logic (JH), pp. 134–138.

LICS-1988-Bloom #modelling #λ-calculus

Can LCF Be Topped? Flat Lattice models of Typed λ Calculus (Preliminary Report) (BB), pp. 282–295.

CADE-1980-Leszczylowski #empirical

An Experiment with “Edinburgh LCF” (JL), pp. 170–181.

POPL-1978-GordonMMNW #interactive #metalanguage #proving

A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.