Beta reduction is invariant, indeed
Work
Year: 2014
Type: preprint
Abstract: Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is λ-calculus a reasonable machine? Is there a way to mea... more
Authors Beniamino Accattoli, Ugo Dal Lago
Institutions Laboratoire d'Informatique de l'École Polytechnique, École Polytechnique, University of Bologna
Cites: 44
Cited by: 37
Related to: 10
Citation percentile (by year/subfield): 97.22
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green