The Lambda Calculus. Its Syntax and Semantics

@inproceedings{Barendregt1985TheLC,
  title={The Lambda Calculus. Its Syntax and Semantics},
  author={H. Barendregt},
  year={1985}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 2,065 CITATIONS, ESTIMATED 21% COVERAGE

Linear Numeral Systems

  • Journal of Automated Reasoning
  • 2018
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

On the characterization of models of H* : The operational aspect

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Essential and relational models

  • Mathematical Structures in Computer Science
  • 2017
VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Execution Time of lambda-Terms via Denotational Semantics and Intersection Types

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

On the Semantics of Intensionality and Intensional Recursion

VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

The infinitary lambda calculus of the infinite eta Böhm trees

  • Mathematical Structures in Computer Science
  • 2017
VIEW 30 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Ellipses and Lambda Definability

  • Logical Methods in Computer Science
  • 2015
VIEW 13 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Bonnes démonstrations en déduction modulo

VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1950
2018

CITATION STATISTICS

  • 318 Highly Influenced Citations

  • Averaged 58 Citations per year over the last 3 years

  • 2% Increase in citations per year in 2018 over 2017

Similar Papers

Loading similar papers…