Logic for Computable Functions




<language> (LCF) Part of the Edinburgh proof assistant.

[What is it?

Address?]



< Previous Terms Terms Containing Logic for Computable Functions Next Terms >
Logical Unit 6.2
Logical Unit Number
logic bomb
Logic Design Language
logic emulator
Isabelle
LCF
ML
logic gate
logic programming
Logic Replacement Technology
logic variable
LOGIN