TY  - CHAP
AU  - Sánchez Gil, Lidia
AU  - Hidalgo Herrero, Mercedes
AU  - Ortega Mallén, Yolanda
PY  - 2001
DO  - 10.1145/1982185.1982469
SN  - 978-1-4503-0113-8
UR  - https://hdl.handle.net/20.500.14352/60584
AB  - In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the standard...
LA  - eng
M2  - 1301
PB  - ACM
KW  - Domain theory
KW  - Denotational semantics
KW  - λ-calculus.
TI  - Relating function spaces to resourced function spaces.
TY  - book part
ER  -