A lambda calculus for real analysis
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Journal of Logic and Analysis
2010-08-01
|
| Series: | Journal of Logic and Analysis |
| Online Access: | http://www.logicandanalysis.org/index.php/jla/article/view/63 |
| _version_ | 1818194035127353344 |
|---|---|
| author | Paul Taylor |
| author_facet | Paul Taylor |
| author_sort | Paul Taylor |
| collection | DOAJ |
| first_indexed | 2024-12-12T00:55:53Z |
| format | Article |
| id | doaj.art-fd4fa89ef3c84fe29c56b77420b60cff |
| institution | Directory Open Access Journal |
| issn | 1759-9008 |
| language | English |
| last_indexed | 2024-12-12T00:55:53Z |
| publishDate | 2010-08-01 |
| publisher | Journal of Logic and Analysis |
| record_format | Article |
| series | Journal of Logic and Analysis |
| spelling | doaj.art-fd4fa89ef3c84fe29c56b77420b60cff2022-12-22T00:43:53ZengJournal of Logic and AnalysisJournal of Logic and Analysis1759-90082010-08-012010.4115/jla.v2i0.63A lambda calculus for real analysisPaul Taylorhttp://www.logicandanalysis.org/index.php/jla/article/view/63 |
| spellingShingle | Paul Taylor A lambda calculus for real analysis Journal of Logic and Analysis |
| title | A lambda calculus for real analysis |
| title_full | A lambda calculus for real analysis |
| title_fullStr | A lambda calculus for real analysis |
| title_full_unstemmed | A lambda calculus for real analysis |
| title_short | A lambda calculus for real analysis |
| title_sort | lambda calculus for real analysis |
| url | http://www.logicandanalysis.org/index.php/jla/article/view/63 |
| work_keys_str_mv | AT paultaylor alambdacalculusforrealanalysis AT paultaylor lambdacalculusforrealanalysis |