myarticles.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/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}
}
@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}
}
@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}
}
@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}
}
@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
}
@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}
}

This file was generated by bibtex2html 1.98.