Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Charged lepton flavour violating transitions would be a clear signal of new physics beyond the Standard Model. Their search has… Expand
  • table I
  • table II
  • figure 1
  • table III
  • figure 2
Is this relevant?
Review
2013
Review
2013
CO line emission represents the most accessible and widely used tracer of the molecular interstellar medium. This renders the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 8
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present an extension of the lambda-calculus with differential constructions. We state and prove some basic results (confluence… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The mismatch between the operational semantics of the lambda calculus and the actual behavior of implementations is a major… Expand
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Cours de lambda-calcul. Definition, beta-reduction et confluence. Representation des fonctions recursives. Modeles du lambda… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1989
Highly Cited
1989
  • Eugenio Moggi
  • [] Proceedings. Fourth Annual Symposium on Logic…
  • 1989
  • Corpus ID: 5411355
The lambda -calculus is considered a useful mathematical tool in the study of programming languages. However, if one uses beta… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1975
Highly Cited
1975
Abstract This paper examines the old question of the relationship between ISWIM and the λ-calculus, using the distinction between… Expand
Is this relevant?
Highly Cited
1969
Highly Cited
1969
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D. 
Is this relevant?