Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 221,894,035 papers from all fields of science
Search
Sign In
Create Free Account
Lambda calculus
Known as:
Lambda programming
, Lambda expressions
, Type-free lambda calculus
Expand
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract rewriting system
Actor model
AngularJS
Applicative computing systems
Expand
Broader (2)
Formal methods
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Synthesis of nanostructured Al-doped zinc oxide films on Si for solar cells applications
O. Lupan
,
S. Shishiyanu
,
+6 authors
S. Railean
2009
Corpus ID: 13705318
Highly Cited
2005
Highly Cited
2005
A 3.1 to 8.2 GHz direct conversion receiver for MB-OFDM UWB communications
A. Ismail
,
A. Abidi
ISSCC. IEEE International Digest of Technical…
2005
Corpus ID: 8732549
A direct conversion receiver for UWB applications operates in 3.1-8.2 GHz and gives a NF of 3.3-4.1 dB and a conversion gain of…
Expand
Highly Cited
2004
Highly Cited
2004
Preparation and electrochemical study of cerium-silica sol-gel thin films
M. García-Heras
,
A. Jiménez-Morales
,
B. Casal
,
Juan Carlos Galván
,
S. Radzki
,
M. Villegas
2004
Corpus ID: 41245745
Highly Cited
2003
Highly Cited
2003
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies
Gábor Nagypál
,
B. Motik
OTM Conferences / Workshops
2003
Corpus ID: 14911195
Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is…
Expand
Highly Cited
1999
Highly Cited
1999
1.5-μm-band wavelength conversion based on cascaded second-order nonlinearity in LiNbO3 waveguides
M. Chou
,
I. Brener
,
M. Fejer
,
E. Chaban
,
S. Christman
IEEE Photonics Technology Letters
1999
Corpus ID: 2723973
We report wavelength conversion and spectral inversion using cascaded second-order nonlinearity in periodically poled LiNbO/sub 3…
Expand
Highly Cited
1996
Highly Cited
1996
Efficient microwave frequency conversion using photonic link signal mixing
C. Sun
,
R. J. Orazi
,
S. Pappert
IEEE Photonics Technology Letters
1996
Corpus ID: 21240788
An efficient, high-dynamic range microwave mixer implemented using an analog fiber-optic link with an overdriven optical…
Expand
Highly Cited
1992
Highly Cited
1992
Linear Lambda-Calculus and Categorial Models Revisited
Nick Benton
,
G. Bierman
,
Valeria C V de Paiva
,
M. Hyland
Annual Conference for Computer Science Logic
1992
Corpus ID: 26993477
Girard's Intuitionistic Linear Logic [7] is a renement of Intuitionistic Logic, where formulae must be used exactly once. In…
Expand
1990
1990
Incremental reduction in the lambda calculus
J. Field
,
T. Teitelbaum
LISP and Functional Programming
1990
Corpus ID: 22605712
An <italic>incremental</italic> algorithm is one that takes advantage of the fact that the function it computes is to be…
Expand
Highly Cited
1983
Highly Cited
1983
A Fully Parallel Mixed-Radix Conversion Algorithm for Residue Number Applications
C. Huang
IEEE transactions on computers
1983
Corpus ID: 206622727
A new, fully parallel mixed-radix conversion (MRC) algorithm which utilizes the maximum parallelism that exists in the residues…
Expand
Highly Cited
1948
Highly Cited
1948
Practical forms of type theory
A. Turing
Journal of Symbolic Logic (JSL)
1948
Corpus ID: 5770563
Russell's theory of types, though probably not providing the soundest possible foundation for mathematics, follows closely the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE