LCF

Please expand.

Implementations of LCF

• Stanford LCF
• Edinburgh LCF
• Cambridge LCF