VDict - Definition of Logic for Computable Functions

Computing (FOLDOC) dictionary

Logic for Computable Functions

Jump to user comments

language (LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

(1995-01-06)

Related search result for "Logic for Computable Functions"

Words contain "Logic for Computable Functions" in its definition in Computing (FOLDOC) dictionary:
F+L Logic for Computable Functions LCF LeFun two-valued logic LEAF Isabelle logic gate first-order logic Algebraic Logic Functional language more...

Comments and discussion on the word "Logic for Computable Functions"