myarticles.bib

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

@comment{{Command line: bib2bib --remove html --expand -oc html/myarticles.txt -ob html/myarticles.bib -c '(author : "lengrand") & ($type = "ARTICLE") & !(note : "Submitted") & !(annotate : "hide")' abbrev.bib Main.bib crossrefs.bib}}

@article{LLDDvB,
  author = {{St\'ephane} Lengrand and Pierre Lescanne and Dan Dougherty and
               Mariangiola Dezani-Ciancaglini and Steffen {van Bakel}},
  title = {Intersection types for explicit substitutions},
  journal = {Information and Computation},
  publisher = {Elsevier},
  volume = {189},
  number = {1},
  pages = {17-42},
  year = {2004},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/IaC2003.pdf}
}

@article{KLIaC06,
  author = {Delia Kesner and {St\'ephane} Lengrand},
  title = {Resource operators for the $\lambda$-calculus},
  editor = {{J\"urgen} Giesl},
  journal = {Information and Computation},
  publisher = {Elsevier},
  volume = 205,
  issue = 4,
  year = 2007,
  month = apr,
  pages = {419--473},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/IaC2006.pdf}
}

@article{DL:JLC07,
  author = {Roy Dyckhoff and {St\'ephane} Lengrand},
  title = {Call-by-Value $\lambda$-calculus and {LJQ}},
  editor = {A. Beckmann and D. Normann and B. Loewe},
  journal = {Journal of Logic and Computation},
  publisher = {Oxford University Press},
  volume = 17,
  issue = 6,
  year = 2007,
  month = {December},
  pages = {1109--1134},
  annotate = {Logical Approaches to Computational Barriers: CiE'06},
  doi = {10.1093/logcom/exm037},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/JLC2007.pdf}
}

@article{LM:APAL07,
  author = {{St\'ephane} Lengrand and Alexandre Miquel},
  title = {Classical {$F_\omega$}, orthogonality and symmetric candidates},
  editor = {Stephen van Bakel and Stefano Berardi},
  journal = {Annals of Pure and Applied Logic},
  publisher = {Elsevier},
  volume = 153,
  issue = {1--3},
  year = 2008,
  pages = {3--20},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/APAL2007.pdf}
}

@article{gablen08,
  author = {Murdoch Gabbay and {St\'ephane} Lengrand},
  title = {The $\lambda$-context Calculus},
  editor = {Mariangiola Dezani-Ciancaglini},
  journal = {Information and Computation},
  publisher = {Elsevier},
  volume = 207,
  number = 12,
  pages = {1369--1400},
  year = 2009
}

@article{lengrand11lmcs,
  author = {{St\'ephane} Lengrand and Roy Dyckhoff and James McKinna},
  title = {A Focused Sequent Calculus Framework for Proof Search in {Pure}
               {Type} {Systems}},
  year = 2011,
  journal = {Logical Methods in Computer Science},
  volume = 7,
  number = 1,
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/TTSC09.pdf}
}

@article{bernadetlengrand13,
  author = {Alexis Bernadet and {St\'ephane} Graham-Lengrand},
  title = {Non-idempotent intersection types and strong normalisation},
  journal = {Logical Methods in Computer Science},
  volume = 9,
  number = 4,
  year = 2013,
  doi = {10.2168/LMCS-9(4:3)2013},
  url = {http://arxiv.org/abs/1310.1622},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/Journal12.pdf}
}

@article{BonacinaGrahamLengrandShankar:19JAR1,
  title = {Conflict-Driven Satisfiability for Theory Combination: Transition
               System and Completeness},
  author = {Maria Paola Bonacina and Stéphane Graham-Lengrand and Natarajan
               Shankar},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer-Verlag},
  volume = {64},
  number = {3},
  pages = {579--609},
  year = 2019,
  doi = {10.1007/s10817-018-09510-y},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/2019-JAR1.pdf}
}

@article{AccattoliGrahamLengrandKesner:2020,
  title = {Tight Typings and Split Bounds, Fully Developed},
  author = {Beniamino Accattoli and Stéphane Graham-Lengrand and Delia
               Kesner},
  journal = {Journal of Functional Programming},
  year = {2020},
  month = jan,
  volume = {30},
  pages = {e14},
  url = {https://doi.org/10.1017/S095679682000012X},
  doi = {10.1017/S095679682000012X},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/2020-JFP.pdf}
}

@article{BonacinaGrahamLengrandShankar:21JAR,
  title = {Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs},
  author = {Maria Paola Bonacina and Stéphane Graham-Lengrand and Natarajan
               Shankar},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer-Verlag},
  year = 2021,
  doi = {10.1007/s10817-021-09606-y},
  pdf = {http://www.csl.sri.com/users/sgl/Work/Reports/2021-JAR2.pdf}
}

This file was generated by bibtex2html 1.99.