TOPIC_TYPETHEORY.bib

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

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/TOPIC_TYPETHEORY.cite -ob Publi/TOPIC_TYPETHEORY.bib -c topic="TYPETHEORY" -c !topic="NOCITE" Publi/bibdata.bib}}

@inproceedings{DBLP:conf/lpar/GregoireS10,
  author = {Benjamin Gr{\'e}goire and
               Jorge Luis Sacchini},
  title = {On Strong Normalization of the Calculus of Constructions
               with Type-Based Termination},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning
               - 17th International Conference, LPAR-17, Yogyakarta, Indonesia,
               October 10-15, 2010. Proceedings},
  year = {2010},
  pages = {333-347},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-642-16242-8_24},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  topic = {TYPETHEORY}
}

@article{BartheGR08cours,
  title = {A Tutorial on Type-Based Termination},
  author = {Gilles Barthe and Benjamin Gr\'egoire and Colin Riba},
  journal = {Book chapter, LERNET 2008 Summer School},
  editor = {Springer LNCS Tutorial Series},
  year = 2008,
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/lernet08.pdf},
  topic = {TYPETHEORY}
}

@inproceedings{BartheGR08,
  author = {Gilles Barthe and Benjamin Gr\'egoire and Colin Riba},
  title = {Type-Based Termination with Sized Products},
  booktitle = {17th EACSL Annual Conference on Computer Science Logic, 15th-19th September 2008, Bertinoro, Italy},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2008},
  topic = {TYPETHEORY}
}

@inproceedings{BartheGP06,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Fernando Pastawski},
  title = {CIC\^: Type-Based Termination of Recursive Definitions
               in the Calculus of Inductive Constructions},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning,
               13th International Conference, LPAR 2006, Phnom Penh, Cambodia,
               November 13-17, 2006, Proceedings},
  year = {2006},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4246},
  pages = {257-271},
  topic = {TYPETHEORY}
}

@inproceedings{BartheGP05,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Fernando Pastawski},
  title = {Practical Inference for Type-Based Termination in a Polymorphic
               Setting},
  booktitle = {Typed Lambda Calculi and Applications, 7th International
               Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings},
  year = {2005},
  pages = {71-85},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3461},
  topic = {TYPETHEORY}
}

@inproceedings{BarrasG05,
  author = {Bruno Barras and
               Benjamin Gr{\'e}goire},
  title = {On the Role of Type Decorations in the Calculus of Inductive
               Constructions},
  booktitle = {Computer Science Logic, 19th International Workshop, CSL
               2005, 14th Annual Conference of the EACSL, Oxford, UK, August
               22-25, 2005, Proceedings},
  year = {2005},
  pages = {151-166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3634},
  topic = {TYPETHEORY}
}

@inproceedings{BarrasCGHS:Types09,
  author = {Bruno Barras and
            Pierre Corbineau and
            Benjamin Gr{\'e}goire and
            Hugo Herbelin and
            Jorge Luis Sacchini},
  title = {A New Elimination Rule for the {C}alculus of {I}nductive {C}onstructions},
  booktitle = {Types for proofs and programs 2008},
  year = {2009},
  pages = {32-48},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  editor = {S. Berardi and F. Damiani and U de'Liguoro},
  volume = {5497},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-invited-conference = {no},
  topic = {TYPETHEORY}
}

This file was generated by bibtex2html 1.97.