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.












