Travelled to:
1 × The Netherlands
Collaborated with:
P.H.Hartel
Talks about:
local (2) transform (1) conscious (1) multiset (1) linear (1) logic (1)
Person: Hugh McEvoy
DBLP: McEvoy:Hugh
Contributed to:
Wrote 1 papers:
- PLILP-1995-McEvoyH #linear #locality #logic #multi
- Local Linear Logic for Locality Consciousness in Multiset Transformation (HM, PHH), pp. 357–379.