Travelled to:1 × Japan
Collaborated with:M.T.Hortalá-González
Talks about:calculus (1) abstract (1) system (1) narrow (1) machin (1) lazi (1) base (1)
Person: Eva Ullán
DBLP: Ull=aacute=n:Eva
Contributed to:
Wrote 1 papers:
- FLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation
- An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.












