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
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… 
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… 
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
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… 
Highly Cited
1987
Highly Cited
1987
Optimal Conditions for Cultivation of Rhodococcus sp. N-774 and for Conversion of Acrylonitrile to Acrylamide by Resting Cells
The culture conditions for Rhodococcus sp. N-774 cells showing high nitrile hydratase activity and the reaction conditions for… 
1985
1985
Cartesian closed Categories and Lambda- calculus
  • G. Huet
  • Combinators and Functional Programming Languages
  • 1985
  • Corpus ID: 206613577
Thus a term may be a natura l number, or may be of the form [ A ] M with A an object and M a term, or may be of the form ( M N… 
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)