TY  - CHAP
AU  - López-Fraguas, Francisco Javier
AU  - Rodríguez-Hortalá, Juan
AU  - Sánchez-Hernández, Jaime
A4  - Garrigue, J.
A4  - Hermenegildo, M.
PY  - 2008
DO  - 10.1007/978-3-540-78969-7 12
SN  - 978-3-540-78968-0
UR  - https://hdl.handle.net/20.500.14352/53198
AB  - It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approaches to reduction like ordinary term rewriting systems or A-calculus. The...
LA  - eng
M2  - 147
PB  - Springer
TI  - Rewriting and call-time choice: The HO case
TY  - book part
ER  -