Keyword

lambda calculus

Description: A formal system in mathematical logic and computer science for expressing computation through function abstraction and application.

Primary topic: Logic, programming, and type systems (76%)

Wikidata ID: wiki/Q242028

OpenAlex ID: keywords/lambda-calculus

A calculus of mobile processes, I

1992 · Robin Milner, Joachim Parrow, et al. · Information and Computation · 2,846

The Lambda Calculus - Its Syntax and Semantics

1984 · Studies in logic and the foundations of mathematics · 2,787

A formulation of the simple theory of types

1940 · Alonzo Church · Journal of Symbolic Logic · 1,906

Notions of computation and monads

1991 · Eugenio Moggi · Information and Computation · 1,690

PDF

Partial evaluation and automatic program generation

1993 · Neil D. Jones, Carsten K. Gomard, et al. · Medical Entomology and Zoology · 1,440

Denotational semantics: The scott-strachey approach to programming language theory

1983 · Computer Languages · 1,235

The calculi of lambda-conversion

1941 · Barkley Rosser · Medical Entomology and Zoology · 1,161

Call-by-name, call-by-value and the λ-calculus

1975 · G.D. Plotkin · Theoretical Computer Science · 1,155

PDF

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

1972 · N.G de Bruijn · Indagationes Mathematicae (Proceedings) · 1,050

PDF

Report on the programming language Haskell

1992 · Paul Hudak, Simon Peyton Jones, et al. · ACM SIGPLAN Notices · 1,018

PDF

A Theory of Objects

1996 · Martín Abadi, Luca Cardelli · Texts and monographs in computer science · 1,001

Featherweight Java

2001 · Atsushi Igarashi, Benjamin C. Pierce, et al. · ACM Transactions on Programming Languages and Systems · 986

PDF

Introduction to Mathematical Logic.

1957 · Angelo Margaris, Alonzo Church · American Mathematical Monthly · 931

The Mechanical Evaluation of Expressions

1964 · P. J. Landin · The Computer Journal · 926

A logic for conventional implicatures

2004 · Christopher Potts · Oxford University Press eBooks · 908

To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism

1980 · Haskell B. Curry, J. Roger Hindley, et al. · Academic Press eBooks · 907

Lambda Calculus with Types

2013 · Henk Barendregt, Wil Dekkers, et al. · Cambridge University Press eBooks · 883

Computational lambda-calculus and monads

2003 · E. Moggi · 842

Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars

2012 · Zettlemoyer, Luke S., Collins, Michael · arXiv (Cornell University) · 766

PDF

Definitional interpreters for higher-order programming languages

1972 · John C. Reynolds · ACM Annual Conference · 672

Combinatory reduction systems

1980 · Klop, Jan Willem · Data Archiving and Networked Services (DANS) · 599

Continuous lattices

1972 · Dana Scott · Lecture notes in mathematics · 582

Rewrite Systems

1990 · Nachum DERSHOWITZ, Jean-Pierre JOUANNAUD · Elsevier eBooks · 580

The | lambda-Calculus.

1988 · Harold Hodes, H. P. Barendregt · The Philosophical Review · 564

Church: a language for generative models

2012 · Goodman, Noah, Mansinghka, Vikash, et al. · arXiv (Cornell University) · 547

PDF

Works count: 6,866

Citation count: 88,030