myarticles.bib

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

@comment{{Command line: /usr/bin/bib2bib --expand -oc html/myarticles.txt -ob html/myarticles.bib -c '(author : "lengrand") & ($type = "ARTICLE") & !(note : "Submitted")' 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},
  html = {[\url{Reports/IaC2003.pdf}{pdf}] (Subsumes \url{#lengdouglesc01}{An improved system of
intersection types for explicit substitutions})}
}

@article{KLIaC06,
  author = {Delia Kesner and {St\'ephane} Lengrand},
  title = {Resource operators for the $\lambda$-calculus},
  editor = {{J\"urgen} Giesl},
  journal = {Information and Computation},
  volume = 205,
  issue = 4,
  year = 2007,
  month = apr,
  pages = {419--473},
  html = {[\url{Reports/IaC2006.pdf}{pdf}] (Subsumes \url{#lengrandkesner}{Extending the Explicit Substitution Paradigm})}
}

@article{DL:JLC07,
  author = {Roy Dyckhoff and {St\'ephane} Lengrand},
  title = {Call-by-Value $\lambda$-calculus and {\uppercase{\sf LJQ}}},
  editor = {A. Beckmann and D. Normann and B. Loewe},
  journal = {Journal of Logic and Computation},
  volume = 17,
  issue = 6,
  year = 2007,
  month = {December},
  pages = {1109--1134},
  annotate = {Logical Approaches to Computational Barriers: CiE'06},
  html = {[\url{Reports/JLC2007.pdf}{pdf}] The proof of strong normalisation of {\bf LJQ}: [\url{Reports/LJQSN.pdf}{pdf}] (updated in December 2007) }
}

@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,
  month = {March},
  pages = {3--20},
  html = {[\url{Reports/APAL2007.pdf}{pdf}] (Subsumes \url{#LM06}{A classical version of Fomega})}
}

@article{gablen08,
  author = {Murdoch Gabbay and
               {St\'ephane} Lengrand},
  title = {The $\lambda$-context Calculus},
  editor = {Mariangiola Dezani-Ciancaglini},
  journal = {Information and Computation},
  volume = 207,
  number = 12,
  pages = {1369--1400},
  year = 2009,
  html = {(Subsumes \url{#GabbayLengrand08}{The lambda-context calculus})}
}

@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,
  html = {[\url{Reports/TTSC09.pdf}{pdf}] 
(Subsumes \url{#LDMcK06}{A sequent calculus for Type Theory})}
}

This file was generated by bibtex2html 1.94.