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
This paper describes the first data release (DR1) of the VIMOS Ultra Deep Survey (VUDS). The VUDS-DR1 is the release of all low… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Highly Cited
2013
Highly Cited
2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification… Expand
Highly Cited
2008
Highly Cited
2008
Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially… Expand
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
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
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
Highly Cited
1993
Highly Cited
1993
  • J. Krivine
  • Ellis Horwood series in computers and their…
  • 1993
  • Corpus ID: 7062578
Cours de lambda-calcul. Definition, beta-reduction et confluence. Representation des fonctions recursives. Modeles du lambda… Expand
Highly Cited
1989
Highly Cited
1989
  • E. 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
Highly Cited
1975
Highly Cited
1975
  • G. Plotkin
  • Theor. Comput. Sci.
  • 1975
  • Corpus ID: 205090276
Abstract This paper examines the old question of the relationship between ISWIM and the λ-calculus, using the distinction between… Expand
Highly Cited
1969
Highly Cited
1969
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.