Definitions from Wikipedia (Logic of Computable Functions)

▸ noun:  a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993.Dana S. Scott.


▸ Words similar to logic of computable functions
▸ Usage examples for logic of computable functions

▸ Idioms related to logic of computable functions
▸ Wikipedia articles (New!)
▸ Words that often appear near logic of computable functions
▸ Rhymes of logic of computable functions

▸ Invented words related to logic of computable functions