The weak call-by-value lambda-calculus is reasonable for both time and space
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Association for Computing Machinery
2020
|
| _version_ | 1826279765177270272 |
|---|---|
| author | Roth, M Forster, Y Kunze, F |
| author_facet | Roth, M Forster, Y Kunze, F |
| author_sort | Roth, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:03:40Z |
| format | Conference item |
| id | oxford-uuid:76d38a1d-9e53-472b-8848-3c28b6932f11 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T00:03:40Z |
| publishDate | 2020 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:76d38a1d-9e53-472b-8848-3c28b6932f112022-03-26T20:18:52ZThe weak call-by-value lambda-calculus is reasonable for both time and spaceConference itemhttp://purl.org/coar/resource_type/c_5794uuid:76d38a1d-9e53-472b-8848-3c28b6932f11EnglishSymplectic Elements at OxfordAssociation for Computing Machinery2020Roth, MForster, YKunze, F |
| spellingShingle | Roth, M Forster, Y Kunze, F The weak call-by-value lambda-calculus is reasonable for both time and space |
| title | The weak call-by-value lambda-calculus is reasonable for both time and space |
| title_full | The weak call-by-value lambda-calculus is reasonable for both time and space |
| title_fullStr | The weak call-by-value lambda-calculus is reasonable for both time and space |
| title_full_unstemmed | The weak call-by-value lambda-calculus is reasonable for both time and space |
| title_short | The weak call-by-value lambda-calculus is reasonable for both time and space |
| title_sort | weak call by value lambda calculus is reasonable for both time and space |
| work_keys_str_mv | AT rothm theweakcallbyvaluelambdacalculusisreasonableforbothtimeandspace AT forstery theweakcallbyvaluelambdacalculusisreasonableforbothtimeandspace AT kunzef theweakcallbyvaluelambdacalculusisreasonableforbothtimeandspace AT rothm weakcallbyvaluelambdacalculusisreasonableforbothtimeandspace AT forstery weakcallbyvaluelambdacalculusisreasonableforbothtimeandspace AT kunzef weakcallbyvaluelambdacalculusisreasonableforbothtimeandspace |