@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.