The impact of the lambda calculus in logic and computer science

@article{Barendregt1997TheIO,
  title={The impact of the lambda calculus in logic and computer science},
  author={Hendrik Pieter Barendregt},
  journal={Bulletin of Symbolic Logic},
  year={1997},
  volume={3},
  pages={181-215}
}
One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand. Acknowledgment. The following persons provided help in various ways. Erik Barendsen, Jon Barwise, Johan van… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 53 CITATIONS

FILTER CITATIONS BY YEAR

1998
2019

CITATION STATISTICS

  • 3 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 73 REFERENCES

Proof by calculation, Master’s thesis, 385

M. Oostdijk
  • Universitaire School voor Informatica, Catholic University Nijmegen,
  • 1996
VIEW 1 EXCERPT

Subtyping dependent types

  • Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
  • 1996
VIEW 1 EXCERPT

and R

R. P. Nederpelt, J. H. Geuvers
  • C. de Vrijer (editors), Selected papers on automath, Studies in Logic and the Foundations of Mathematics, vol. 133, North-Holland, Amsterdam
  • 1994
VIEW 1 EXCERPT

F.Groote (editors),Typed lambda calculi and applications, TLCA’93

J. M. Bezemand
  • Lecture Notes in Computer Science,
  • 1993