ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Call-by-need, Neededness and All That
Autor/es:
KESNER, DELIA; RÍOS. ALEJANDRO; VISO, ANDRÉS
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Lugar: Cham; Año: 2018 vol. 0803 p. 241 - 265
ISSN:
0302-9743
Resumen:
We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection type system called V.Interestingly, system V also allows to syntactically identify all the weakhead needed redexes of a term.
