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}
}