Travelled to:
1 × USA
Collaborated with:
M.H.Escardó
Talks about:
sequenti (1) topolog (1) program (1) languag (1) theori (1) domain (1) oper (1)
Person: Weng Kin Ho
DBLP: Ho:Weng_Kin
Contributed to:
Wrote 1 papers:
- LICS-2005-EscardoK #programming language
- Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.