<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-02-12 12:32:31Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic |
Add to Reading List |
A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department