# Church's Thesis and Functional Programming

```@inproceedings{Turner2006ChurchsTA,
title={Church's Thesis and Functional Programming},
author={David Turner},
year={2006}
}```
ion λx.A In the last case λx. is a binder and free occurrences of x in A become bound . A term in which all variables are bound is said to be closed otherwise it is open. The motivating idea is that closed term represent functions. The intended meaning of AB is the application of function A to argument B while λx.A is the function which for input x returns A. Terms which are the same except for renaming of bound variables are not distinguished, thus λx.x and λy.y are the same, identity function…
2 Citations

### Turing-Church thesis, constructve mathematics and intuitionist logic

At a first glance the Theory of computation relies on potential infinity and an organization aimed at solving a problem. Under such aspect it is like Mendeleev’s theory of chemistry. Also its

## References

SHOWING 1-10 OF 71 REFERENCES

### Lambda Lifting: Treansforming Programs to Recursive Equations

Different ways of doing lambda lifting are presented, as well as reasons for rejecting or selecting the method used in the Lazy ML compiler.

### Computational foundations of basic recursive function theory

• Mathematics
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science
• 1988

### Total Functional Programming

• D. Turner
• Computer Science
J. Univers. Comput. Sci.
• 2004
This work considers a simple discipline of total functional programming designed to exclude the possibility of non-termination, which requires a type distinction between data and codata, which is potentially infinite.

### Domain theory

• Mathematics
LICS 1995
• 1995
bases were introduced in [Smy77] where they are called “R-structures”. Examples of abstract bases are concrete bases of continuous domains, of course, where the relation≺ is the restriction of the

### Toward a mathematical semantics for computer languages

• Computer Science
• 1971
The purpose of a mathematical semantics is to give a correct and meaningful correspondence between programs and mathematical entities in a way that is entirely independent of an implementation.

### The next 700 programming languages

A family of unimplemented computing languages is described that is intended to span differences of application area by a unified framework. This framework dictates the rules about the uses of

### Did Church and Turing Have a Thesis about Machines

The historical question is concerned with the Church-Turing thesis, as it emerged in 1936 when Church endorsed Turing’s characterization of the concept of effective calculability, and the continuing and serious scientific question that lends potency to the history.