Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,206 papers from all fields of science
Search
Sign In
Create Free Account
Explicit substitution
Known as:
Λσ calculus
, Λσ-calculus
In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abstract machine
Automath
Categorical abstract machine
Combinatory logic
Expand
Broader (3)
Lambda calculus
Operational semantics
Substitution (logic)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Some Discussions on a Kind of Improper Integrals
Feng Qi (祁锋)
,
Viera Cernanová
2016
Corpus ID: 55126503
In the paper, the improper integral is discussed, some explicit formulas for special cases of I(a,b;λ,η) are presented, and…
Expand
2016
2016
Discourse Relation Sense Classification Using Cross-argument Semantic Similarity Based on Word Embeddings
Todor Mihaylov
,
A. Frank
Conference on Computational Natural Language…
2016
Corpus ID: 16692427
This paper describes our system for the CoNLL 2016 Shared Task’s supplementary task on Discourse Relation Sense Classification…
Expand
2014
2014
Internalization of extensional equality
A. Polonsky
arXiv.org
2014
Corpus ID: 33500362
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally…
Expand
2006
2006
Age-Related Differences in the Use of Phonology to Facilitate Implicit and Explicit Memory for New Associations
A. Byrd
2006
Corpus ID: 37816135
Two experiments tested young and older adults’ retrieval of episodic memories under intentional (i.e., explicit) and incidental…
Expand
2002
2002
Steady-state Mantle-Melt Interactions in One Dimension: II. Thermal Interactions and Irreversible Terms
P. Asimow
2002
Corpus ID: 15017152
Progress in development of thermodynamically based models of silicate equilibria with explicit entropy budgets has motivated a…
Expand
1997
1997
Explicit Strong Solutions of SPDE’s with Applications to Non-Linear Filtering
F. Benth
,
T. Deck
,
J. Potthoff
,
G. Våge
1997
Corpus ID: 73645674
AbstractA differential calculus for random fields is developed and combined with the S-transform to obtain an explicit strong…
Expand
1994
1994
Explicit Substitutions for the Lambda-mu Calculus Ecole Normale Supérieure De Lyon Explicit Substitutions for the Lambda-mu Calculus Explicit Substitutions for the Lambda-mu Calculus
Philippe Audebaud
1994
Corpus ID: 8308765
We present a connuent rewrite system which extents a previous calculus of explicit substitutions for the lambda-calculus HaLe89…
Expand
1981
1981
Prostitution and Victorian social reform
W. Bynum
Medicina e historia
1981
Corpus ID: 17279701
medicine, because they are "personal biographies". The "ideas and methods" of these civil servants were part of the lives of real…
Expand
1980
1980
Nucleophilic Substitutions at a Carbonyl Carbon Atom (XII). Solvolysis of Methylchloroformate and Its Thioanalogues in $CH_3CN-H_2O$ and $CH_3COCH_3-H_2$ Mixtures
S. La
,
Kyeongjae Koh
,
Ikchoon Lee
1980
Corpus ID: 93481880
Solvolysis rate constants for methylchloroformate, (CO)Cl, methylthiono-chloroformate, (CS)Cl, and methylthiolchloroformate, (CO…
Expand
1979
1979
Interspecific hybrids between helianthus PetiolarisNutt. and H. Annuus L.: Effect of backcrossing on meiosis
E. D. P. Whelan
Euphytica
1979
Corpus ID: 12715001
SummaryInterspecific substitutions of the nucleus of Helianthus annuus (2n=34) into the cytoplasm of H. petiolaris (2n=34) were…
Expand