Highly Influenced

6 Excerpts

@inproceedings{Michaelson1989AnIT, title={An introduction to functional programming through lambda calculus}, author={Greg J. Michaelson}, booktitle={International computer science series}, year={1989} }

- Published in International computer science series 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

SHOWING 1-10 OF 41 REFERENCES

Highly Influential

6 Excerpts

Highly Influential

15 Excerpts

Highly Influential

6 Excerpts

Highly Influential

5 Excerpts

Highly Influential

4 Excerpts

Highly Influential

5 Excerpts

Highly Influential

7 Excerpts

Highly Influential

4 Excerpts

Highly Influential

7 Excerpts

Highly Influential

6 Excerpts

Loading similar papers…