Logic for Computable Functions

Synonyms

LCF

(LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]