2002-conference.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2002-conference.cite -ob 2002-conference.bib -c 'year = 2002 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{courant02itrs,
  author = {Judica{\"e}l Courant},
  title = {Strong Normalization with Singleton Types},
  crossref = {itrs02},
  year = 2002,
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://www.lri.fr/~jcourant/papers/02/singlrr.ps.gz}
}

@inproceedings{courant02tphols,
  author = {Judica{\"e}l Courant},
  title = {Explicit Universes for the Calculus of Constructions},
  crossref = {tphols02},
  year = 2002,
  pages = {115--130},
  topics = {team},
  type_publi = {icolcomlec},
  url = {http://www.lri.fr/~jcourant/papers/02/ExplUniv.ps.gz}
}

@inproceedings{conchon-02,
  author = {Sylvain Conchon},
  title = {Modular Information Flow Analysis for Process Calculi},
  booktitle = {Proceedings of the Foundations of Computer Security Workshop (FCS 2002)},
  editor = {Iliano Cervesato},
  month = jul,
  address = {Copenhagen, Denmark},
  year = {2002},
  url = {http://www.lri.fr/~conchon/publis/conchon-fcs02.ps.gz},
  topics = {team},
  type_publi = {icolcomlec}
}

@inproceedings{Filliatre01a,
  author = {Jean-Christophe Filli\^atre},
  title = {La sup\'eriorit\'e de l'ordre sup\'erieur},
  booktitle = {Journ\'ees Francophones des Langages Applicatifs},
  pages = {15--26},
  month = jan,
  year = 2002,
  address = {Anglet, France},
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/sos.pdf},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/sos.pdf},
  code = {https://usr.lmf.cnrs.fr/~jcf/ftp/ocaml/misc/koda-ruskey.ps},
  topics = {team, lri},
  type_publi = {colcomlec}
}

@inproceedings{For02,
  author = {Julien Forest},
  title = {A Weak Calculus with Explicit Operators for Pattern Matching and Substitution},
  crossref = {rta02},
  key = {For02},
  pages = {174-191},
  topics = {rewriting, team},
  type_publi = {icolcomlec},
  x-pdf = {http://www.pps.jussieu.fr/~forest/papers/lpw-short.pdf},
  url = {http://www.pps.jussieu.fr/~forest/papers/lpw-short.pdf}
}

@inproceedings{treinen02popl,
  author = {Zhendong Su and Alexander Aiken and Joachim Niehren and
                 Tim Priesnitz and Ralf Treinen},
  title = {The First-Order Theory of Subtyping Constraints},
  crossref = {popl02},
  year = 2002,
  pages = {203--216},
  topics = {team},
  type_publi = {icolcomlec},
  ps = {ftp://ftp.lri.fr/LRI/articles/treinen/popl02.ps.gz},
  x-pdf = {ftp://ftp.lri.fr/LRI/articles/treinen/popl02.pdf.gz}
}

@proceedings{popl02,
  title = {Conference Record of the 29th Symposium on Principles of
                        Programming Languages},
  booktitle = {Conference Record of the 29th Symposium on Principles of
                        Programming Languages},
  year = 2002,
  month = jan,
  address = {Portland, OR, USA},
  editor = {John Mitchell},
  publisher = {ACM Press}
}

@proceedings{rta02,
  title = {13th International Conference on Rewriting Techniques and Applications},
  booktitle = {13th International Conference on Rewriting Techniques and Applications},
  editor = {Sophie Tison},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 2378,
  month = jul,
  year = 2002,
  address = {Copenhagen, Denmark}
}

@proceedings{tphols02,
  title = {Theorem Proving in Higher Order Logics:
                           15th International Conference, TPHOLs 2002},
  booktitle = {Theorem Proving in Higher Order Logics:
                           15th International Conference, TPHOLs 2002},
  editor = {Victor Carre{\~n}o and C\'esar A. Mu{\~n}oz and Sofi\`ene Tahar},
  series = {Lecture Notes in Computer Science},
  volume = 2410,
  year = 2002,
  publisher = {Springer},
  month = aug,
  address = {Hampton, VA, USA}
}

@proceedings{itrs02,
  title = {Second Workshop on Intersection Types and Related Systems},
  booktitle = {Second Workshop on Intersection Types and Related Systems},
  editor = {Stefan Van Bakel},
  series = {Electronic Notes in Computer Science},
  volume = 70,
  year = 2002,
  publisher = {Elsevier Science Publishers},
  month = jul,
  address = {Copenhaguen, Danemark}
}