Skip to search formSkip to main contentSkip to account menu

Lambda calculus

Known as: Lambda programming, Lambda expressions, Type-free lambda calculus 
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract rewriting systemActor modelAngularJSApplicative computing systems

Broader (2)

Formal methodsTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
A 24-GHz Receiver Frontend With an LO Signal Generator in 0.18-$\mu$m CMOS
Utilizing a standard 0.18-mum CMOS process, a receiver frontend and a local oscillator (LO) module are implemented for RF… 
Highly Cited
2007
Highly Cited
2007
A Low-Power 2.4-GHz Current-Reused Receiver Front-End and Frequency Source for Wireless Sensor Network
In this paper, we present a receiver front-end and a frequency source suitable for wireless sensor network applications, in which… 
Highly Cited
2005
Highly Cited
2005
A 3.1 to 8.2 GHz direct conversion receiver for MB-OFDM UWB communications
  • A. IsmailA. 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… 
2005
2005
Generating Random Lambda Calculus Terms
We explore the problem of generating lambda calculus terms of a given size uniformly at random. This work has several motivations… 
Highly Cited
2005
Highly Cited
2005
26.5-30-GHz resistive mixer in 90-nm VLSI SOI CMOS technology with high linearity for WLAN
A resistive mixer with high linearity for wireless local area networks is presented in this paper. The fully integrated circuit… 
Highly Cited
2001
Highly Cited
2001
Novel Single Rare Earth Aryloxide Initiators for Ring-Opening Polymerization of 2,2-Dimethyltrimethylene Carbonate
The ring-opening polymerization of 2,2-dimethyltrimethylene carbonate (DTC) initiated with highly active single rare earth tris(2… 
Highly Cited
1999
Highly Cited
1999
1.5-μm-band wavelength conversion based on cascaded second-order nonlinearity in LiNbO3 waveguides
We report wavelength conversion and spectral inversion using cascaded second-order nonlinearity in periodically poled LiNbO/sub 3… 
1998
1998
Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus
Lambda abstraction algebras are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic… 
1984
1984
Introduction to Lambda Calculus
ion is said to bind the free variable x in M . E.g. we say that λx.yx has x as bound and y as free variable. Substitution [x := N… 
Highly Cited
1983
Highly Cited
1983
Efficient and stable solar cell by interfacial film formation
The development of a new efficient and stable semiconductor-liquid junction solar cell is reported. The n-CuInSe2/I2-I−-Cu+-HI/C… 
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)