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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification… 
Highly Cited
2007
Highly Cited
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms… 
Highly Cited
2004
Highly Cited
2004
The classical lambda calculus may be regarded both as a programming language and as a formal algebraic system for reasoning about… 
Highly Cited
2002
Highly Cited
2002
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and… 
Highly Cited
2001
Highly Cited
2001
Several recent studies have introduced lightweight versions of Java: reduced languages in which complex features like threads and… 
Highly Cited
1999
Highly Cited
1999
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue… 
Highly Cited
1998
Highly Cited
1998
  • R. Amadio, P. Curien
  • Cambridge tracts in theoretical computer science
  • 1998
  • Corpus ID: 62342251
Preface Notation 1. Continuity and computability 2. Syntactic theory of lambda-calculus 3. D models and intersection types 4… 
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… 
Highly Cited
1975
Highly Cited
1975
  • G. Plotkin
  • Theor. Comput. Sci.
  • 1975
  • Corpus ID: 205090276
Highly Cited
1969
Highly Cited
1969
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.