Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
algorithm (1) ambient (1) subtyp (1) mobil (1) type (1)
Person: Pascal Zimmer
DBLP: Zimmer:Pascal
Contributed to:
Wrote 1 papers:
- FoSSaCS-2000-Zimmer #algorithm #mobile #type system
- Subtyping and Typing Algorithms for Mobile Ambients (PZ), pp. 375–390.