@article{tzh04resources,
 author = "Teller, D. and Zimmer, P. and Hirschkoff, D.",
 title = "Using ambients to control resources",
 year = 2004,
 journal = "International Journal of Information Security",
 volume = "2",
 issue = "3--4",
 publisher = "Springer",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/ijis_resources.pdf",
 pages = "126--144",
 category = {Semantics of Mobility},
}

@inproceedings{boudolzimmer04intersection,
 author = "Boudol, G. and Zimmer, P.",
 title = "On type inference in the intersection type discipline",
 year = 2004,
 booktitle = "ITRS'04, Workshop on Intersection Types and Related Systems",
 note = "To appear in Electronic Notes in Theoretical Computer Science",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/itrs04.pdf",
 category = {Functional Programming},
}

@phdthesis{zimmerthesis,
 author = "Zimmer, P.",
 title = "R\'ecursion g\'en\'eralis\'ee et inf\'erence de types avec intersection",
 school = "Universit\'e de Nice Sophia Antipolis, France. INRIA Sophia Antipolis",
 year = "2004",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/these.ps",
}

@article{zimmer03pureambients,
    author = "Zimmer, P.",
    title = "On the expressiveness of pure safe ambients",
    journal = "Mathematical Structures in Computer Science",
    volume = "13",
    pages = "721--770",
    year = 2003,
    url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/mscs_pure_ambients.ps",
    category = {Semantics of Mobility},
}

@inproceedings{zimmer00pureambients,
    author = "Zimmer, P.",
    title = "On the expressiveness of pure mobile mmbients",
    booktitle = "Proceedings of EXPRESS'00 (Expressiveness in Concurrency)",
    year = 2000,
    series = "BRICS Notes Series NS-00-2",
    url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/express00.ps",
    category = {Semantics of Mobility},
}

@inproceedings{zimmer03expressiveness,
    author = {Zimmer, P.},
    title = {On the expressiveness of pure mobile ambients},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {39},
    issue = {1},
    publisher = {Elsevier},
    editor = {Aceto, L. and Victor, B.},
    year = {2003},
    url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/express00.ps",
    category = {Semantics of Mobility},
}

@article{tzh03shortabstract,
 author = "Teller, D. and Zimmer, P. and Hirschkoff, D.",
 title = "Using ambients to control resources",
 year = 2003,
 journal = "Schedae Informaticae",
 volume = "12",
 note = "Special issue: Chambery-Krakow-Lyon Workshop on lambda 
calculus, type theory and mathematical logic",
 publisher = "Jagiellonian University Press",
 pages = "113--127",
 category = {Semantics of Mobility},
}

@inproceedings{tzh02resources,
 author = "Teller, D. and Zimmer, P. and Hirschkoff, D.",
 title = "Using ambients to control resources",
 year = 2002,
 booktitle = "Proceedings of CONCUR 2002",
 volume = 2421,
 pages = "288--303",
 series = "LNCS",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/concur02.ps",
 category = {Semantics of Mobility},
}

@inproceedings{boudolzimmer02recursion,
 author = "Boudol, G. and Zimmer, P.",
 title = "Recursion in the call-by-value lambda-calculus",
 year = 2002,
 booktitle = "Proceedings of FICS 2002 (Fixed Points in Computer Science)",
 series = "BRICS Notes Series NS-02-2",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/fics02.ps",
 category = {Functional Programming},
}

@techreport{tzh02resourcesreport,
 author = "Teller, D. and Zimmer, P. and Hirschkoff, D.",
 title = "Using ambients to control resources",
 year = 2002,
 institution = "LIP Research Report N. 2002-16, ENS Lyon",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/RR2002-16.ps",
 category = {Semantics of Mobility},
}

@techreport{zimmer02pureambients,
 author = "Zimmer, P.",
 title = "On the expressiveness of pure safe ambients",
 year = 2002,
 institution = "INRIA Research Report RR-4350",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/RR-4350.ps",
 category = {Semantics of Mobility},
}

@inproceedings{zimmer00subtyping,
 author = "Zimmer, P.",
 title = "Subtyping and Typing Algorithms for Mobile Ambients",
 year = 2000,
 booktitle = "Proceedings of FOSSACS'00",
 volume = 1784,
 pages = "375--390",
 series = "LNCS",
 url = "http://www-sop.inria.fr/mimosa/Pascal.Zimmer/papers/fossacs00.ps",
 category = {Semantics of Mobility},
}