mymisc.bib

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

@comment{{Command line: /usr/bin/bib2bib --expand -oc html/mymisc.txt -ob html/mymisc.bib -c '(author : "lengrand") & ($type <> "ARTICLE") & ($type <> "INPROCEEDINGS") & !(note : "Submitted")' abbrev.bib Main.bib crossrefs.bib}}

@techreport{lengSNInd05,
  author = {{St\'ephane} Lengrand},
  title = {Induction principles as the foundation
of the theory of normalisation: Concepts and Techniques},
  institution = {PPS laboratory, {Universit\'e} Paris 7},
  year = 2005,
  type = {Technical Report},
  month = mar,
  url = {http://hal.ccsd.cnrs.fr/ccsd-00004358}
}

@phdthesis{LengrandPhD,
  author = {{St\'ephane} Lengrand},
  title = {Normalisation \& Equivalence in Proof Theory \& Type Theory},
  school = {Universit{\'e} {Paris} 7 \& University of {St} {Andrews}},
  year = {2006},
  html = { Supervised by \url{http://www.pps.jussieu.fr/~kesner/}{Pr. Delia KESNER} \&  \url{http://www.dcs.st-andrews.ac.uk/~rd/}{Dr 
Roy DYCKHOFF}. Publicly defended on 8th December 2006 before\\
Dr Pierre-Louis CURIEN, Chairman\\
Dr James McKINNA, Internal examiner of St Andrews\\
Pr. Gilles DOWEK, Referee (rapporteur) for Paris VII\\
Pr. Luke ONG, Referee (rapporteur) for St Andrews\\
Pr. Henk BARENDREGT, Examiner\\
Pr. Dale MILLER, Examiner\\
\& my supervisors.\\\\
For this thesis I was one of the three recipients of the {\bf \url{http://users.dimi.uniud.it/eacsl/award.html}{2007 Ackermann Award}},
the EACSL Outstanding Dissertation Award for Logic in Computer Science, presented at the conference CSL'2007 in Lausanne.\\
[\url{Reports/MyThesis.pdf}{The dissertation (pdf)} 2522 Kb] 
[\url{Reports/FrenchEnglish.pdf}{with a synopsis in French (pdf)} 2609 Kb]
\url{Abstract.html}{Abstract}  (\url{FrenchAbstract.html}{In French})}
}

@techreport{lengrand07tr,
  author = {{St\'ephane} Lengrand},
  title = {Termination of lambda-calculus with the extra
                 Call-By-Value rule known as assoc},
  institution = {LIX, CNRS-INRIA-Ecole Polytechnique},
  year = 2008,
  month = jan,
  url = {http://hal.inria.fr/inria-00292029}
}

@techreport{bernadetleng11blong,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Filter models: non-idempotent intersection types, orthogonality and polymorphism - Long version},
  institution = {LIX, CNRS-INRIA-Ecole Polytechnique},
  year = 2011,
  month = jun,
  url = {http://hal.archives-ouvertes.fr/hal-00600070/en/}
}

@techreport{farooqueTR11,
  hal_id = {hal-00690577},
  url = {http://hal.archives-ouvertes.fr/hal-00690577},
  title = {{A sequent calculus with procedure calls}},
  author = {Farooque, Mahfuza and Lengrand, St{\'e}phane},
  institution = {Laboratoire d'informatique de l'{\'e}cole polytechnique - LIX , PARSIFAL - INRIA Saclay - Ile de France},
  collaboration = {Project PSI: Proof-Search control in Interaction with domain-specific methods },
  year = {2011},
  month = dec,
  pdf = {http://hal.archives-ouvertes.fr/hal-00690577/PDF/Main.pdf}
}

@techreport{farooqueTR12,
  hal_id = {hal-00690044},
  url = {http://hal.archives-ouvertes.fr/hal-00690044},
  title = {{Two simulations about DPLL(T)}},
  author = {Farooque, Mahfuza and Lengrand, St{\'e}phane and Mahboubi, Assia},
  institution = {Laboratoire d'informatique de l'{\'e}cole polytechnique - LIX , PARSIFAL - INRIA Saclay - Ile de France , Microsoft Research - Inria Joint Centre - MSR - INRIA , TypiCal - INRIA Saclay - Ile de France},
  collaboration = {Project PSI: Proof-Search control in Interaction with domain-specific methods },
  year = {2012},
  month = mar,
  pdf = {http://hal.archives-ouvertes.fr/hal-00690044/PDF/Main.pdf}
}

This file was generated by bibtex2html 1.94.