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...

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...

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

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...

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

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...

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

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

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

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

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

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

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...

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

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

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

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...

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

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...

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

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

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...

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

Export-oriented industrialization (EOI), sometimes called export substitution industrialization (ESI), export-led industrialization (ELI), or export-led...