Travelled to:
1 × Finland
Collaborated with:
M.H.Escardó
Talks about:
sequenti (1) languag (1) semant (1) number (1) comput (1) exact (1) real (1)
Person: José Raymundo Marcial-Romero
DBLP: Marcial-Romero:Jos=eacute=_Raymundo
Contributed to:
Wrote 1 papers:
- LICS-2004-Marcial-RomeroE #semantics
- Semantics of a Sequential Language for Exact Real-Number Computation (JRMR, MHE), pp. 426–435.