The weak call-by-value lambda-calculus is reasonable for both time and space
Autori principali: | , , |
---|---|
Natura: | Conference item |
Lingua: | English |
Pubblicazione: |
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 |