Find link

language:

Find link is a tool written by Edward Betts.

searching for Functional completeness 5 found (63 total)

Kappa calculus (1,771 words) [view diff] exact match in snippet view article find links to article

the grammar of types. Barendregt originally introduced the term "functional completeness" in the context of combinatory algebra. Kappa calculus arose out

ISO/IEC 9126 (1,082 words) [view diff] exact match in snippet view article find links to article

subcharacteristics. "Functionality" is renamed "functional suitability". "Functional completeness" is added as a subcharacteristic, and "interoperability" and "security"

Sergey Yablonsky (851 words) [view diff] exact match in snippet view article find links to article

problems that were addressed in his PhD thesis titled "Issues of functional completeness in k-valued calculus" (1953) is the definitive answer to the question

Giuseppe Longo (2,482 words) [view diff] exact match in snippet view article find links to article

& Moggi, E. (1990). A category-theoretic characterization of functional completeness. Theoretical Computer Science, 70(2), 193–211. Longo, G. (2002

C-element (2,984 words) [view diff] exact match in snippet view article find links to article

Varshavskiy, M. Kishinevskiy, V. Marakhovskiy, L. Rozenblyum, "Functional completeness in the class of semimodular circuits," Soviet Journal of Computer