An introduction to functional programming through lambda calculus

@inproceedings{Michaelson1989AnIT,
  title={An introduction to functional programming through lambda calculus},
  author={Greg J. Michaelson},
  booktitle={International computer science series},
  year={1989}
}
Pictured above you can see on the left the 206 bit binary lambda calculus (blc) latest paper available in PostScript and PDF, and in somewhat less detail in Wikipedia. including a Lambda tutorial and some highly minimalistic languages. λ-calculus. Operational Semantics. Lambda Calculus as a Functional Language. Food for Tought. Outline. 1 λ-calculus. 2. Operational Semantics. Syntax. numbers, topology, the real numbers, fibre bundles, calculus and manifolds, No previous familiarity with lambda… CONTINUE READING

Topics from this paper.

References

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

Languages, Tools & Architectures, ed

  • P. Harrison, H. Khoshnevisan, FP “AnIntroductionto, the FP Style of Programming, ” in Functional Programming
  • S. Eisenbach, Ellis Horwood, Chichester,
  • 1987
Highly Influential
15 Excerpts

An Introduction to PS-algol Programming,

  • R. Carrick, J. Cole, R. Morrison
  • PPRR 31, Dept. of Computational Science,
  • 1986
Highly Influential
5 Excerpts

The Theory of Computer Science: A Programming Approach

  • J. M. Brady
  • 1977
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…