# 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} }

- 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

#### Topics from this paper.

#### Citations

##### Publications citing this paper.

SHOWING 1-10 OF 25 CITATIONS

## Interpreter prototypes from formal language definitions

VIEW 6 EXCERPTS

CITES BACKGROUND & METHODS

HIGHLY INFLUENCED

## Derivation of symbolic-based embedded feedback control stabilization expressions with experimentation

VIEW 1 EXCERPT

CITES BACKGROUND

## Towards formal proofs of feedback control theory

VIEW 2 EXCERPTS

CITES BACKGROUND

## A Study of Scala Repositories on Github

VIEW 1 EXCERPT

CITES BACKGROUND

## Power-Laws and Structure in Functional Programs

VIEW 1 EXCERPT

CITES BACKGROUND

## An Introduction to Lambda Calculus and Functional Programming

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 41 REFERENCES

## Software specification techniques: N Gehani and D McGettrick (eds) Addison Wesley, Wokingham, UK (1988) 477 pp hardback

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Languages, Tools & Architectures, ed

VIEW 15 EXCERPTS

HIGHLY INFLUENTIAL

## Structure and interpretation of computer programs

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Programming from first principles: by Richard Bornat. Published by Prentice-Hall. 538 pp. £10.95

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## A first course in computability

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## An Introduction to PS-algol Programming,

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## The Lambda Calculus. Its Syntax and Semantics

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## The science of programming springer-verlag

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## The Theory of Computer Science: A Programming Approach

VIEW 7 EXCERPTS

HIGHLY INFLUENTIAL

## Recursive programming techniques

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

#### Similar Papers

Loading similar papers…