Parole in English per '(computer science) Initialism of simply-typed lambda calculus.'
Sopra trovi parole correlate a "(computer science) Initialism of simply-typed lambda calculus.". Porta il focus o il cursore su una parola per vedere la definizione.
Risultati di ricerca
noun
- (computer science) Initialism of lambda calculus.
- (toxicology) Initialism of lethal concentration.
- (engineering, metrology) Initialism of least count.
- (UK politics) Initialism of lord chancellor.
- (Canada) Initialism of liquor commission.
- (astronautics) Initialism of launch complex.
- (fashion on the Internet) Initialism of legit check.
- (programming) Initialism of LeetCode.
- (military, nautical) Initialism of landing craft
- (healthcare) Initialism of lactation consultant.
- (finance, banking) Initialism of letter of credit.
- (chemistry, physics) Initialism of liquid crystal.
- (ecology) Initialism of least concern.
adj
noun
- (programming) Ellipsis of lambda function.
- (programming) Ellipsis of lambda expression.
- (physics) Ellipsis of lambda baryon.
- (physics, mathematics) Unit representation of wavelength.
- (physics) The cosmological constant.
- (anatomy) The junction of the lambdoid and sagittal sutures of the cranium.
- (finance) The percentage change in an option value divided by the percentage change in the underlying asset's price.
- The eleventh letter of the Classical and Modern Greek alphabet, the twelfth of the Old Greek alphabet.
- the craniometric point at the junction of the sagittal and lamboid sutures of the skull
- the 11th letter of the Greek alphabet
noun
- (computing theory) The substitution of a specific value for the parameter in the abstraction, in lambda calculus.
- (bureaucracy, law) A petition, entreaty, or other request, with the adposition for denoting the subject matter.
- A verbal or written request for assistance or employment or admission to a school, course or similar.
- The substance applied.
- The act of requesting, claiming, or petitioning something.
- The act of applying as a means; the employment of means to accomplish an end; specific use.
- The act of directing or referring something to a particular case, to discover or illustrate agreement or disagreement, fitness, or correspondence.
- A kind of needlework; appliqué.
- Diligence; close thought or attention.
- (computing) A computer program or the set of software that the end user perceives as a single entity as a tool for a well-defined purpose. (Also called: application program; application software.)
- The act of physically applying or laying on.
- a verbal or written request for assistance or employment or admission to a school
- liquid preparation having a soothing or antiseptic or medicinal action when applied to the skin
- the action of putting something into operation
- the work of applying something
- a program that gives a computer instructions that provide the user with tools to accomplish a task
- a diligent effort
- the act of bringing something to bear; using it for a particular purpose
noun
- (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
- The act of beta reducing, an instance of replacing a function call by the result of calling a function.
noun
adj
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
noun
- (mathematics, computing) Initialism of computer algebra system.
- (computing, uncountable) Initialism of compare and swap.
- (aviation) Initialism of calibrated airspeed.
- (military, aviation) Acronym of close air support.
- (organisation) Initialism of complex adaptive system.
- (electronics, communication) Initialism of channel-associated signalling.
- (aviation) Acronym of collision avoidance system.
- Initialism of cowboy action shooting.
- (military) Initialism of combat armor suit, used for a powered, armed and armored exoskeleton, in fiction and military research.
name
noun
adj
noun
- (mathematics) An element of the umbral calculus.
- The fully shaded inner region of a shadow cast by an opaque object.
- (astronomy) The area on the earth or moon experiencing the total phase of an eclipse.
- One of genus Umbrina of drums (family Sciaenidae).
- (astronomy) The central region of a sunspot.
- (chiefly literary) A shadow.
- One of the family Umbridae of mudminnows.
- a region of complete shadow resulting from total obstruction of light
adj
- (mathematics, computing) In canonical form.
- (music) In the form of a canon.
- Prototypical.
- (religion) In conformity with canon law.
- According to recognised or orthodox rules.
- Present in a canon, religious or otherwise.
- (fandom slang) Related to or part of the canon of a fictional universe.
- Stated or used in the most basic and straightforwardly applicable manner.
- (mathematics) Distinguished among entities of its kind, so that it can be picked out in a way that does not depend on any arbitrary choices.
- (religion) Of or pertaining to an ecclesiastical chapter.
- appearing in a biblical canon
- of or relating to or required by canon law
- reduced to the simplest and most significant form possible without loss of generality
- conforming to orthodox or recognized rules
noun
noun
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
pron
symbol
name
- (algebraic geometry) Initialism of Éléments de géométrie algébrique.
- (military, US) Initialism of Eagle, Globe, and Anchor.
- (computer graphics) Initialism of enhanced graphics adapter, an obsolete computer display standard between CGA and VGA, offering sixteen colours on screen from a palette of sixty-four.
noun
- (computing) Initialism of standard edition.
- Initialism of second edition.
- (physics) Initialism of secondary electron.
- Initialism of sound effect.
- Initialism of special edition.
- (train control) Initialism of STM European.
- (aerospace) Initialism of sustainer engine.
- Abbreviation of southeast.
- (computing) Initialism of software engineering.
- the compass point midway between south and east; at 135 degrees
adj
name
adj
noun
noun
- (mathematics) A sequential calculus
- (logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
- Something that follows in a given sequence.
adj
noun
- (mathematics) A type.
- (typography) A piece of metal type used to print one letter, character, or symbol in a particular size and style.
- (British, Australia, informal) A good-looking woman.
- (computing) An algorithm for sorting a list of items into a particular sequence.
- An act of sorting.
- (informal) A person evaluated in a certain way.
- A general type.
- a category of things distinguished by some common characteristic or quality
- a person of a particular character or nature
- an operation that segregates items into groups according to a specified criterion
- an approximate definition or example
verb
- (transitive) To arrange into some sequence, usually numerically, alphabetically or chronologically.
- (transitive) To geld.
- (transitive) To separate items into different categories according to certain criteria that determine their sorts.
- (British, colloquial, transitive) To fix (a problem) or handle (a task).
- (intransitive) To join or associate with others, especially with others of the same kind or species; to agree.
- (British, colloquial, transitive) To attack physically.
- (transitive) To conjoin; to put together in distribution; to class.
- (intransitive) To suit; to fit; to be in accord; to harmonize.
- examine in order to test suitability
- arrange or order by classes or categories
noun
- a system of symbolic logic devised by George Boole; used in computers
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
noun
adj
name
noun
- (programming) Initialism of algebraic data type.
- (traffic information) Initialism of Average Daily Traffic.
- (programming) Initialism of abstract data type.
- (military) Initialism of ative duty tour.
- (medicine) Initialism of androgen deprivation therapy.
- (computing) Initialism of acknowledged data transfer.
- (military) Initialism of active duty for training.
- (healthcare) Initialism of admissions, discharge, transfer.
- (military, weaponry) Initialism of Active Denial Technology.
- Abbreviation of Adult.
- (military) Initialism of accumulated deployed time.
- (hiking) Initialism of American Discovery Trail.
- (computing) Initialism of advanced DRAM technology.
- (audio recording) Initialism of Automatic Double Tracking.
- (research) Initialism of accelerated degradation testing.
- (astronomy education) Initialism of astronomy diagnostic test.
name
name
- (computing) Initialism of Symbolic Manipulation Program (“a computer algebra system and predecessor of Mathematica”).
- Initialism of Sipah-e-Muhammad Pakistan.
- Initialism of Simulation Model Portability.
- Initialism of Sisters of Mary of the Presentation.
- Initialism of Standard Motor Products.
- Initialism of Send More Paramedics.
- (computing) Initialism of Supplementary Multilingual Plane, one of the sets of character codepoints in Unicode; formally known as Plane 1, and comprising the range of codepoints from U+10000 through U+1FFFF.
- Initialism of School Mathematics Project.
- Initialism of Shanghai Municipal Police.
- Initialism of Shannonville Motorsport Park.
- Initialism of Sounds of Mass Production or Synthesia Murder Program.
- Initialism of Saw Mill Parkway.
- Initialism of Serial Management Protocol.
- Initialism of Scale Model Products.
- Initialism of Super Mario Party.
- Initialism of SOTA Mapping Project.
noun
- Initialism of single member plurality.
- (computing) Initialism of symmetric multiprocessing.
- (gaming, Minecraft) Initialism of survival multiplayer.
- Initialism of statement of monetary policy.
- Initialism of system modification program.
- (British) Initialism of statutory maternity pay (“payments made by an employer to an employee who is absent from work due to their pregnancy”).
- Initialism of stable marriage problem or stable matching problem.
- (computing) Initialism of support and maintenance package.
- (cryptography) Initialism of socialist millionaire problem.
- Initialism of surface-mount package.
- Initialism of stable massive particle.
- Initialism of scalp micropigmentation.
- Initialism of system marginal price (“the marginal electricity price in a power system optimization”).
- Initialism of shape-memory polymer.
- Initialism of signal message processor.
- Initialism of slow-moving proteinase.
- Initialism of silyl modified polymer.
noun
- (mathematics) Initialism of mathematical morphology.
- (audio, electronics) Initialism of moving magnet, a type of phono cartridge.
- Initialism of man-month.
- (Freemasonry) Initialism of Master Mason.
- (finance) Initialism of market maker.
- (numismatic slang) Initialism of mintmark.
- (aviation) Initialism of middle marker.
- plural of M (“Monsieur”)
- Initialism of mile marker.
- (finance) Abbreviation of million.
- (education) Initialism of Master of Music.
- (education) Initialism of Master of Management.
- (philately) Initialism of mounted mint.
- (amateur radio) Initialism of maritime mobile.
- (operating systems) Initialism of memory management.
name
num
noun
- (computing) Initialism of programming language.
- (copyright law) Initialism of public license.
- Initialism of public library.
- (biochemistry) Initialism of proximity labeling.
- (topology) Initialism of piecewise linear.
- (economics) Initialism of price level.
- (US, scouting) Initialism of patrol leader.
- (US, law, government) Initialism of public law.
adj
name
verb
noun
- (computer science) Initialism of lambda calculus.
- (toxicology) Initialism of lethal concentration.
- (engineering, metrology) Initialism of least count.
- (UK politics) Initialism of lord chancellor.
- (Canada) Initialism of liquor commission.
- (astronautics) Initialism of launch complex.
- (fashion on the Internet) Initialism of legit check.
- (programming) Initialism of LeetCode.
- (military, nautical) Initialism of landing craft
- (healthcare) Initialism of lactation consultant.
- (finance, banking) Initialism of letter of credit.
- (chemistry, physics) Initialism of liquid crystal.
- (ecology) Initialism of least concern.
adj
noun
- (programming) Ellipsis of lambda function.
- (programming) Ellipsis of lambda expression.
- (physics) Ellipsis of lambda baryon.
- (physics, mathematics) Unit representation of wavelength.
- (physics) The cosmological constant.
- (anatomy) The junction of the lambdoid and sagittal sutures of the cranium.
- (finance) The percentage change in an option value divided by the percentage change in the underlying asset's price.
- The eleventh letter of the Classical and Modern Greek alphabet, the twelfth of the Old Greek alphabet.
- the craniometric point at the junction of the sagittal and lamboid sutures of the skull
- the 11th letter of the Greek alphabet
noun
- (computing theory) The substitution of a specific value for the parameter in the abstraction, in lambda calculus.
- (bureaucracy, law) A petition, entreaty, or other request, with the adposition for denoting the subject matter.
- A verbal or written request for assistance or employment or admission to a school, course or similar.
- The substance applied.
- The act of requesting, claiming, or petitioning something.
- The act of applying as a means; the employment of means to accomplish an end; specific use.
- The act of directing or referring something to a particular case, to discover or illustrate agreement or disagreement, fitness, or correspondence.
- A kind of needlework; appliqué.
- Diligence; close thought or attention.
- (computing) A computer program or the set of software that the end user perceives as a single entity as a tool for a well-defined purpose. (Also called: application program; application software.)
- The act of physically applying or laying on.
- a verbal or written request for assistance or employment or admission to a school
- liquid preparation having a soothing or antiseptic or medicinal action when applied to the skin
- the action of putting something into operation
- the work of applying something
- a program that gives a computer instructions that provide the user with tools to accomplish a task
- a diligent effort
- the act of bringing something to bear; using it for a particular purpose
noun
- (computing theory) One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
- The act of beta reducing, an instance of replacing a function call by the result of calling a function.
noun
adj
noun
- (mathematics, computing) Initialism of computer algebra system.
- (computing, uncountable) Initialism of compare and swap.
- (aviation) Initialism of calibrated airspeed.
- (military, aviation) Acronym of close air support.
- (organisation) Initialism of complex adaptive system.
- (electronics, communication) Initialism of channel-associated signalling.
- (aviation) Acronym of collision avoidance system.
- Initialism of cowboy action shooting.
- (military) Initialism of combat armor suit, used for a powered, armed and armored exoskeleton, in fiction and military research.
name
noun
adj
noun
- (mathematics) An element of the umbral calculus.
- The fully shaded inner region of a shadow cast by an opaque object.
- (astronomy) The area on the earth or moon experiencing the total phase of an eclipse.
- One of genus Umbrina of drums (family Sciaenidae).
- (astronomy) The central region of a sunspot.
- (chiefly literary) A shadow.
- One of the family Umbridae of mudminnows.
- a region of complete shadow resulting from total obstruction of light
noun
noun
- (mathematics) Initialism of nonlinear programming.
- (psychology) Initialism of neuro-linguistic psychotherapy.
- (computing) Initialism of natural language processing.
- (pseudoscience, psychology) Initialism of neuro-linguistic programming.
- the branch of information science that deals with natural language information
name
phrase
noun
pron
symbol
noun
- (computing) Initialism of standard edition.
- Initialism of second edition.
- (physics) Initialism of secondary electron.
- Initialism of sound effect.
- Initialism of special edition.
- (train control) Initialism of STM European.
- (aerospace) Initialism of sustainer engine.
- Abbreviation of southeast.
- (computing) Initialism of software engineering.
- the compass point midway between south and east; at 135 degrees
adj
name
noun
- (mathematics) A sequential calculus
- (logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
- Something that follows in a given sequence.
adj
noun
- (mathematics) A type.
- (typography) A piece of metal type used to print one letter, character, or symbol in a particular size and style.
- (British, Australia, informal) A good-looking woman.
- (computing) An algorithm for sorting a list of items into a particular sequence.
- An act of sorting.
- (informal) A person evaluated in a certain way.
- A general type.
- a category of things distinguished by some common characteristic or quality
- a person of a particular character or nature
- an operation that segregates items into groups according to a specified criterion
- an approximate definition or example
verb
- (transitive) To arrange into some sequence, usually numerically, alphabetically or chronologically.
- (transitive) To geld.
- (transitive) To separate items into different categories according to certain criteria that determine their sorts.
- (British, colloquial, transitive) To fix (a problem) or handle (a task).
- (intransitive) To join or associate with others, especially with others of the same kind or species; to agree.
- (British, colloquial, transitive) To attack physically.
- (transitive) To conjoin; to put together in distribution; to class.
- (intransitive) To suit; to fit; to be in accord; to harmonize.
- examine in order to test suitability
- arrange or order by classes or categories
noun
- a system of symbolic logic devised by George Boole; used in computers
- (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
- (algebra) An algebraic structure (Σ,∨,∧,∼,0,1) where ∨ and ∧ are idempotent binary operators, ∼ is a unary involutory operator (called "complement"), and 0 and 1 are nullary operators (i.e., constants), such that (Σ,∨,0) is a commutative monoid, (Σ,∧,1) is a commutative monoid, ∧ and ∨ distribute with respect to each other, and such that combining two complementary elements through one binary operator yields the identity of the other binary operator. (See Boolean algebra (structure)#Axiomatics.)
- (mathematics) The study of such algebras; Boolean logic, classical logic.
noun
- (computing theory) Abbreviation of nondeterministic polynomial, the complexity class of computational problems that a nondeterministic Turing machine can solve in polynomial time.
- Initialism of notary public.
- (nanotechnology) Initialism of nanoparticle.
- Initialism of national park.
- Initialism of nurse practitioner.
- (linguistics) Initialism of noun phrase.
- (medicine, pathology) Abbreviation of nosocomial pneumonia.
- a registered nurse who has received special training and can perform many of the duties of a physician
name
phrase
noun
adj
name
noun
- (programming) Initialism of algebraic data type.
- (traffic information) Initialism of Average Daily Traffic.
- (programming) Initialism of abstract data type.
- (military) Initialism of ative duty tour.
- (medicine) Initialism of androgen deprivation therapy.
- (computing) Initialism of acknowledged data transfer.
- (military) Initialism of active duty for training.
- (healthcare) Initialism of admissions, discharge, transfer.
- (military, weaponry) Initialism of Active Denial Technology.
- Abbreviation of Adult.
- (military) Initialism of accumulated deployed time.
- (hiking) Initialism of American Discovery Trail.
- (computing) Initialism of advanced DRAM technology.
- (audio recording) Initialism of Automatic Double Tracking.
- (research) Initialism of accelerated degradation testing.
- (astronomy education) Initialism of astronomy diagnostic test.
name
noun
- (mathematics) Initialism of mathematical morphology.
- (audio, electronics) Initialism of moving magnet, a type of phono cartridge.
- Initialism of man-month.
- (Freemasonry) Initialism of Master Mason.
- (finance) Initialism of market maker.
- (numismatic slang) Initialism of mintmark.
- (aviation) Initialism of middle marker.
- plural of M (“Monsieur”)
- Initialism of mile marker.
- (finance) Abbreviation of million.
- (education) Initialism of Master of Music.
- (education) Initialism of Master of Management.
- (philately) Initialism of mounted mint.
- (amateur radio) Initialism of maritime mobile.
- (operating systems) Initialism of memory management.
name
num
noun
- (computing) Initialism of programming language.
- (copyright law) Initialism of public license.
- Initialism of public library.
- (biochemistry) Initialism of proximity labeling.
- (topology) Initialism of piecewise linear.
- (economics) Initialism of price level.
- (US, scouting) Initialism of patrol leader.
- (US, law, government) Initialism of public law.
adj
name
verb
Nessuna parola corrispondente trovata. Prova una descrizione più ampia.
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
adj
- (mathematics, computing) In canonical form.
- (music) In the form of a canon.
- Prototypical.
- (religion) In conformity with canon law.
- According to recognised or orthodox rules.
- Present in a canon, religious or otherwise.
- (fandom slang) Related to or part of the canon of a fictional universe.
- Stated or used in the most basic and straightforwardly applicable manner.
- (mathematics) Distinguished among entities of its kind, so that it can be picked out in a way that does not depend on any arbitrary choices.
- (religion) Of or pertaining to an ecclesiastical chapter.
- appearing in a biblical canon
- of or relating to or required by canon law
- reduced to the simplest and most significant form possible without loss of generality
- conforming to orthodox or recognized rules