Definitions from Wikipedia (Logic for Computable Functions)

▸ noun:  an interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in early 1970s, based on the theoretical foundation of logic of computable functions previously proposed by Dana Scott.


▸ Words similar to Logic for Computable Functions
▸ Usage examples for Logic for Computable Functions

▸ Idioms related to Logic for Computable Functions
▸ Wikipedia articles (New!)
▸ Words that often appear near Logic for Computable Functions
▸ Rhymes of Logic for Computable Functions

▸ Invented words related to Logic for Computable Functions