💡 Words with a Similar Meaning to "Dependent type"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| dependencynoun | A state of dependence; a refusal to exercise initiative. |
| functionnoun | What something does or is used for. |
| local variable | In computer science, a local variable is a variable that is given local scope. |
| conditional | Limited by a condition. |
| objectnoun | A thing that has physical existence but is not alive. |
| decidabilitynoun | (logic, computer science) The state or condition of being decidable. |
| circular definitionnoun | (semantics) A definition relying directly or indirectly on the term being defined. |
| predicatenoun | (grammar) The part of the sentence (or clause) which states a property that a subject has or is characterized by. |
| applyverb | (transitive) To put to use; to use or employ for a particular purpose, or in a particular case |
| declarernoun | One who declares. |
| mutator method | In computer science, a mutator method is a method used to control changes to a variable. |
| propositional variablenoun | (logic) A variable that can either be true or false. |
| booleannoun | (logic, computing) A variable that can hold a single true/false (1/0) value. |
| recursionnoun | (mathematics) The act of defining an object (usually a function) in terms of that object itself. |
| material conditionalnoun | (logic) A type of conditional statement used in formal logic and defined as true whenever its antecedent is false or its consequent is true, and false when its antecedent is true and its consequent is false. |
| logic programmingnoun | (programming) Programming with a paradigm that bases on formal logic |
| definitionnoun | (semantics, lexicography) A statement of the meaning of a word, word group, sign, or symbol; especially, a dictionary definition. |
| subtypenoun | A group of specific things within a larger, more general group. |
| computational logic | the use of logic to perform or reason about computation. |
| evaluationnoun | An assessment, such as an annual personnel performance review used as the basis for a salary increase or bonus, or a summary of a particular situation. |
Translate “Dependent type” into Another Language
Pick a language — the word will be pre-filled in the translator.