system f

Fetched 2026-10-26 (cache).

Synonyms: system v, system r, system 5, system 7, system, systemic, systems, systema, system 75, systemed

Antonyms: system v, system r, system 5, system 7, system, systemic, systems, systema, system 75, systemed

Related words from Datamuse; suggestions, not definitions.

Proper noun

1. A kind of [[typed]] [[lambda calculus]] that introduces a mechanism of [[universal]] [[quantification]] over types.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.