BibTeX records: Pierre Castéran

• > Home > Persons > Pierre Castéran

@article{DBLP:journals/shonan-reports/CasteranGN14,
  author       = {Pierre Cast{\'{e}}ran and
                  Jacques Garrigue and
                  David Nowak},
  title        = {Summer School on {C}oq ({NII} Shonan Meeting 2014-9)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2014},
  year         = {2014},
  url          = {https://shonan.nii.ac.jp/seminars/041/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/CasteranGN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siu/CasteranF11,
  author       = {Pierre Cast{\'{e}}ran and
                  Vincent Filou},
  title        = {Tasks, Types and Tactics for Local Computation Systems},
  journal      = {Stud. Inform. Univ.},
  volume       = {9},
  number       = {1},
  pages        = {39--86},
  year         = {2011},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=186\%3Atasks-types-and-tactics-for-local-computation-systems-pp-39-86-},
  timestamp    = {Mon, 18 Mar 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siu/CasteranF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/txtcs/BertotC04,
  author       = {Yves Bertot and
                  Pierre Cast{\'{e}}ran},
  title        = {Interactive Theorem Proving and Program Development - Coq'Art: The
                  Calculus of Inductive Constructions},
  series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-662-07964-5},
  doi          = {10.1007/978-3-662-07964-5},
  isbn         = {978-3-642-05880-6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/txtcs/BertotC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/jfla/2001,
  editor       = {Pierre Cast{\'{e}}ran},
  title        = {Journ{\'{e}}es francophones des langages applicatifs (JFLA'01),
                  Pontarlier, France, Janvier, 2001},
  series       = {Collection Didactique},
  publisher    = {{INRIA}},
  year         = {2001},
  isbn         = {2-7261-1154-8},
  timestamp    = {Thu, 09 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfla/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BrlekCHM95,
  author       = {Srecko Brlek and
                  Pierre Cast{\'{e}}ran and
                  Laurent Habsieger and
                  Richard Mallette},
  title        = {On-Line Evaluation of Powers Using Euclid's Algorithm},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {29},
  number       = {5},
  pages        = {431--450},
  year         = {1995},
  url          = {https://doi.org/10.1051/ita/1995290504311},
  doi          = {10.1051/ITA/1995290504311},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BrlekCHM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/1992,
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
                  1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
                  Proceedings},
  series       = {Series Bigre},
  volume       = {81-82},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1992},
  timestamp    = {Thu, 12 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tapsoft/BrlekCS91,
  author       = {Srecko Brlek and
                  Pierre Cast{\'{e}}ran and
                  Robert Strandh},
  editor       = {Samson Abramsky and
                  T. S. E. Maibaum},
  title        = {On Addition Schemes},
  booktitle    = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Brighton, UK, April 8-12, 1991,
                  Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
                  on Combining Paradigms for Software Developmemnt {(CCPSD)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {494},
  pages        = {379--393},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3540539816\_77},
  doi          = {10.1007/3540539816\_77},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/BrlekCS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/1991,
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}