calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of substitution. This is in contrast to...

evaluation of expressions in programming languages Explicit substitution – The theory of substitution, as used in β-reduction Functional programming Harrop...

for y gives an explicit solution: y = ± 1 − x 2 . {\displaystyle y=\pm {\sqrt {1-x^{2}}}\,.} But even without specifying this explicit solution, it is...

is Xavier Leroy's ZINC abstract machine, which underlies OCaml.) Explicit substitution Operational semantics SECD machine Semantics of programming languages...

type of disruptive substitution is likely to be removed from populations by the action of purifying selection because the substitution has a higher likelihood...

Applicative computing systems Anonymous recursion Evaluation strategy Explicit substitution SKI combinator calculus Unlambda Currying Caml Cousineau G., Curien...

adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution. Dependent types is one outstanding example. Automath was also the...

system uses a substitution rule and uses modus ponens as an inference rule. The exact same system was given (with an explicit substitution rule) by Alonzo...

inference rule, as well as a rule of substitution, which permits replacing any well-formed formula with any substitution-instance of it. Alternatively, one...

system Categorical abstract machine Combinatory categorial grammar Explicit substitution Fixed point combinator Graph reduction machine Lambda calculus and...

substitute or by a starter who is currently on the bench. Free substitution or rolling substitution is a rule in some sports that allows players to enter and...

much simpler substitution matrix, wherein only identical matches and mismatches are considered, is typical. The scores in the substitution matrix may be...

V} . Then a substitution σ {\displaystyle \sigma } is subsumed by another substitution τ {\displaystyle \tau } if there is a substitution θ {\displaystyle...

proper, specifically, within the framework of explicit substitution. Term rewrite system Explicit substitution Memoization F.-R. Sinot, M. Fernández and I...

In economics, elasticity of intertemporal substitution (or intertemporal elasticity of substitution, EIS, IES) is a measure of responsiveness of the growth...

penal substitution theory teaches that Jesus suffered the penalty due, according to God the Father's wrath for humanity's sins. Penal substitution derives...

SomeFunc() { B b; UseAnA(b); // b can be substituted for an A. } The following python code establishes an explicit inheritance relationship between classes...

process substitution is a form of inter-process communication that allows the input or output of a command to appear as a file. The command is substituted in-line...

be substituted by different instances. Attempts to formalize the notion of metavariable result in some kind of type theory. Explicit substitution Hunter...

Bruijn notation has also been shown to be useful in calculi for explicit substitution in pure type systems. Mathematical notation De Bruijn, Nicolaas...

Simultaneous substitution (also known as simsubbing or signal substitution) is a practice mandated by the Canadian Radio-television and Telecommunications...

to a high standard. There can also be replication errors that lead to substitution, insertion, or deletion mutations. In 1959 Ernst Freese coined the terms...

{\displaystyle \lambda {\widehat {\rho }}} calculus -- a calculus that uses explicit substitution -- with a left-to-right applicative-order reduction strategy, and...

Method of moving frames (differential geometry) Method of successive substitution (number theory) Monte Carlo method (computational physics, simulation)...

probability matrix are described in the mathematics of substitution models section of the substitution model page. By expressing models in terms of the instantaneous...

this reading, then, comes from making this assumed, implicitly white norm explicit and, in doing so, it asks Comedy Central's desired white audience to grapple...

argument (parameter) substitution. Rust provides no implicit type conversion (coercion) between primitive types. But, explicit type conversion (casting)...

the last expression invoked inside it. Since C macros use mere textual substitution, this may result in unintended side-effects and inefficiency due to re-evaluation...

substitution, each one is based on a different formulation of quantum mechanics theory. Here we give a simple derivation of the Peierls substitution,...

differential equations (ODEs) with a given initial value. It is the most basic explicit method for numerical integration of ordinary differential equations and...