The weak call-by-value lambda-calculus is reasonable for both time and space

Dettagli Bibliografici
Autori principali: Roth, M, Forster, Y, Kunze, F
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