TY  - CHAP
AU  - Frutos Escrig, David De
AU  - Fernández Camacho, María Inés
A4  - Abramsky, S.
A4  - Maibaum, T.S.E.
PY  - 1991
DO  - 10.1007/3540539816_79
SN  - 978-3-540-53981-0
UR  - https://hdl.handle.net/20.500.14352/60653
AB  - We study completeness of narrowing strategies for a class of programs defining (possibly partial and non-strict) functions by means of equations, with a lazy semantics, so that infinite values are also admissible. We consider a syntactical restriction...
M2  - 416
PB  - Springer
TI  - On narrowing strategies for partial non-strict functions
TY  - book part
ER  -