BibTeX records: Antoine Madet

download as .bib file

@inproceedings{DBLP:conf/fopara/AmadioABBCGMMMPPRCST13,
  author       = {Roberto M. Amadio and
                  Nicholas Ayache and
                  Fran{\c{c}}ois Bobot and
                  Jaap Boender and
                  Brian Campbell and
                  Ilias Garnier and
                  Antoine Madet and
                  James McKinna and
                  Dominic P. Mulligan and
                  Mauro Piccolo and
                  Randy Pollack and
                  Yann R{\'{e}}gis{-}Gianas and
                  Claudio Sacerdoti Coen and
                  Ian Stark and
                  Paolo Tranquilli},
  editor       = {Ugo Dal Lago and
                  Ricardo Pe{\~{n}}a},
  title        = {Certified Complexity (CerCo)},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - Third International
                  Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8552},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-12466-7\_1},
  doi          = {10.1007/978-3-319-12466-7\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Madet12,
  author       = {Antoine Madet},
  title        = {Implicit Complexity in Concurrent Lambda-Calculi. (Complexit{\'{e}}
                  Implicite de Lambda-Calculs Concurrents)},
  school       = {Paris Diderot University, France},
  year         = {2012},
  url          = {https://tel.archives-ouvertes.fr/tel-00794977},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Madet12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BrunelM12,
  author       = {Alo{\"{\i}}s Brunel and
                  Antoine Madet},
  editor       = {Ranjit Jhala and
                  Atsushi Igarashi},
  title        = {Indexed Realizability for Bounded-Time Programming with References
                  and Type Fixpoints},
  booktitle    = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
                  2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7705},
  pages        = {264--279},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35182-2\_19},
  doi          = {10.1007/978-3-642-35182-2\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BrunelM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/Madet12,
  author       = {Antoine Madet},
  editor       = {Danny De Schreye and
                  Gerda Janssens and
                  Andy King},
  title        = {A polynomial time {\(\lambda\)}-calculus with multithreading and side
                  effects},
  booktitle    = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
                  Belgium - September 19 - 21, 2012},
  pages        = {55--66},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370776.2370785},
  doi          = {10.1145/2370776.2370785},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/Madet12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1206-4833,
  author       = {Alo{\"{\i}}s Brunel and
                  Antoine Madet},
  title        = {Indexed realizability for bounded-time programming with references
                  and type fixpoints},
  journal      = {CoRR},
  volume       = {abs/1206.4833},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.4833},
  eprinttype    = {arXiv},
  eprint       = {1206.4833},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1206-4833.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1209-5851,
  author       = {Antoine Madet},
  title        = {A polynomial time {\(\lambda\)}-calculus with multithreading and side
                  effects},
  journal      = {CoRR},
  volume       = {abs/1209.5851},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.5851},
  eprinttype    = {arXiv},
  eprint       = {1209.5851},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-5851.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/MadetA11,
  author       = {Antoine Madet and
                  Roberto M. Amadio},
  editor       = {C.{-}H. Luke Ong},
  title        = {An Elementary Affine \emph{{\(\lambda\)}}-Calculus with Multithreading
                  and Side Effects},
  booktitle    = {Typed Lambda Calculi and Applications - 10th International Conference,
                  {TLCA} 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6690},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21691-6\_13},
  doi          = {10.1007/978-3-642-21691-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/MadetA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1102-4971,
  author       = {Antoine Madet and
                  Roberto M. Amadio},
  title        = {Elementary affine {\(\lambda\)}-calculus with multithreading and side
                  effects},
  journal      = {CoRR},
  volume       = {abs/1102.4971},
  year         = {2011},
  url          = {http://arxiv.org/abs/1102.4971},
  eprinttype    = {arXiv},
  eprint       = {1102.4971},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4971.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1005-0835,
  author       = {Roberto M. Amadio and
                  Patrick Baillot and
                  Antoine Madet},
  title        = {An affine-intuitionistic system of types and effects: confluence and
                  termination},
  journal      = {CoRR},
  volume       = {abs/1005.0835},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.0835},
  eprinttype    = {arXiv},
  eprint       = {1005.0835},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-0835.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0912-0419,
  author       = {Roberto M. Amadio and
                  Patrick Baillot and
                  Antoine Madet},
  title        = {An affine-intuitionistic system of types and effects: confluence and
                  termination},
  journal      = {CoRR},
  volume       = {abs/0912.0419},
  year         = {2009},
  url          = {http://arxiv.org/abs/0912.0419},
  eprinttype    = {arXiv},
  eprint       = {0912.0419},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-0419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.