A lambda calculus for real analysis | Taylor | Journal of Logic and Analysis

Journal of Logic and Analysis, Vol 2 (2010)

A lambda calculus for real analysis

Paul Taylor

Full Text: 5. [PDF]

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008