@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: /usr/bin/bib2bib --expand -oc html/myproceedings.txt -ob html/myproceedings.bib -c '(author : "lengrand") & ($type = "INPROCEEDINGS") & !(note : "Submitted")' abbrev.bib Main.bib crossrefs.bib}}
@inproceedings{lengdouglesc01,
author = {Daniel J. Dougherty and {St\'ephane} Lengrand and Pierre Lescanne},
title = {An Improved System of Intersection Types for Explicit Substitutions},
isbn = {1-4020-7181-7},
pages = {511--523},
crossref = {ifipTCS02},
html = {[\url{Reports/TCS-2001-Proc.ps}{postscript}] (Subsumed by \url{#LLDDvB} {Intersection types for explicit
substitutions})}
}
@inproceedings{lengrand03call-by-value,
author = {{St\'ephane} Lengrand},
title = {Call-by-value, call-by-name, and strong normalization for the classical sequent calculus},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = 4,
publisher = {Elsevier},
note = {Revision from the 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS'03)},
editor = {Bernhard Gramlich and Salvador Lucas},
year = {2003},
html = {[\url{Reports/WRS2003.ps}{postscript}] Slides: [\url{Reports/WRS2003-Slides.ps}{postscript}]\\
Erratum: [\url{Reports/WRS03Err.ps}{postscript}]}
}
@inproceedings{lengrandHOR2004,
author = {{St\'ephane} Lengrand},
title = {Deriving Strong Normalisation},
crossref = {hor04},
pages = {84-88},
month = jun,
html = {[\url{Reports/HOR2004.ps}{postscript}]
(Subsumed by \url{#lengSNInd05}{Induction principles as the
foundation of the theory of normalisation: concepts and
techniques})}
}
@inproceedings{lengrandkesner,
author = {Delia Kesner and {St\'ephane} Lengrand},
title = {Extending the explicit substitution paradigm},
crossref = {rta05},
pages = {407-422},
annotate = {Best Paper Award},
html = {[\url{Reports/RTA2005.ps}{postscript}] (Best paper award RTA 2005) (Subsumed by \url{#KLIaC06}{Resource
operators for the lambda-calculus})}
}
@inproceedings{lengbruen05,
author = {Kai {Br\"unnler} and {St\'ephane} Lengrand},
title = {On Two Forms of Bureaucracy in Derivations},
booktitle = {1st Workshop on Structures and Deductions (SD'05)},
editor = {Paola Bruscoli, Francois Lamarche and James Stewart},
series = {Technical Report, Technische {Universit\"at} Dresden},
note = {ISSN 1430-211X},
month = jul,
year = 2005,
place = {Lisbon, Portugal},
pages = {69--80},
html = {[\url{Reports/SD05.pdf}{pdf}] Slides [\url{Reports/SD05-Slides.ps}{postscript}]}
}
@inproceedings{LM06,
author = {{St\'ephane} Lengrand and Alexandre Miquel},
title = {A classical version of {$F_\omega$}},
booktitle = {1st Workshop on Classical logic and Computation},
editor = {Stephen van Bakel and Stefano Berardi},
month = jul,
year = 2006,
place = {Venice, Italy},
html = {[\url{"Reports/CLaC2006.pdf}{pdf}] (Subsumed by \url{#LM:APAL07}{Classical Fomega, orthogonality and symmetric candidates})}
}
@inproceedings{DyckhoffLengrand,
author = {Roy Dyckhoff and {St\'ephane} Lengrand},
title = {{\sf {LJQ}}, a strongly Focused Calculus for Intuitionistic Logic},
booktitle = {Proceedings of the 2nd Conference on Computability in Europe (CiE'06)},
series = {Lecture Notes in Computer Science},
volume = {3988},
publisher = {Springer-Verlag},
editor = {A. Beckmann and U. Berger and B. Loewe and J. V. Tucker},
year = {2006},
month = jul,
pages = {173--185},
html = {[\url{Reports/cie.pdf}{pdf}] The proof of strong normalisation of {\bf LJQ}: [\url{Reports/LJQSN.pdf}{pdf}] (updated in December 2007)}
}
@inproceedings{DKL06,
author = {Roy Dyckhoff and Delia Kesner and {St\'ephane} Lengrand},
title = {Strong cut-elimination systems for {Hudelmaier}'s depth-bounded
sequent calculus for implicational logic},
booktitle = {Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06)},
series = {Lecture Notes in Artificial Intelligence},
volume = {4130},
publisher = {Springer-Verlag},
editor = {U. Furbach and N. Shankar},
year = {2006},
month = aug,
pages = {347--361},
html = {[\url{Reports/IJCAR2006.pdf}{pdf}] Long version: [\url{Reports/IJCAR06Long.pdf}{pdf}]}
}
@inproceedings{LDMcK06,
author = {{St\'ephane} Lengrand and Roy Dyckhoff and James McKinna},
title = {A sequent calculus for Type Theory},
crossref = {csl06},
pages = {441--455},
html = {[\url{Reports/CSL2006.pdf}{pdf}] (Subsumed by \url{#lengrand09}{A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems})}
}
@inproceedings{GabbayLengrand08,
author = {Murdoch Gabbay and
{St\'ephane} Lengrand},
title = {The lambda-context Calculus},
editor = {Brigitte Pientka and Carsten {Sch\"urmann}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
year = 2008,
pages = {19--35},
note = {Revision from the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007) (was {\em A(nother) NEW Calculus of Contexts})},
ee = {http://dx.doi.org/10.1016/j.entcs.2007.09.015},
html = {[\url{Reports/LFMTP2007.pdf}{pdf}] (Subsumed by \url{#gablen08}{The lambda-context Calculus})}
}
@inproceedings{kikleng08,
author = {Kentaro Kikuchi and {St\'ephane} Lengrand},
title = {Strong Normalisation of Cut-Elimination that Simulates {\(\beta\)}-Reduction},
crossref = {fossacs08},
pages = {380--394},
html = {[\url{Reports/FOSSACS08.pdf}{pdf}] Long version: [\url{Reports/FOSSACS08Long.pdf}{pdf}]}
}
@inproceedings{bernadetleng11,
author = {Alexis Bernadet and {St\'ephane} Lengrand},
title = {Complexity of strongly normalising $\lambda$-terms
via non-idempotent intersection types},
crossref = {fossacs11},
html = {[\url{Reports/FOSSACS11.pdf}{pdf}]}
}
@inproceedings{bernadetleng11b,
author = {Alexis Bernadet and {St\'ephane} Lengrand},
title = {Filter models: non-idempotent intersection types, orthogonality and polymorphism},
crossref = {csl11},
html = {[\url{Reports/CSL11.pdf}{pdf}]}
}
@proceedings{csl06,
booktitle = {Proceedings of the 15th Annual Conference of the
European Association for Computer Science Logic (CSL'06)},
editor = {Zoltan Esik},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 4207,
month = sep,
year = 2006,
place = {Szeged, Hungary}
}
@proceedings{csl11,
booktitle = {Proceedings of the 20th Annual Conference of the
European Association for Computer Science Logic (CSL'11)},
editor = {Marc Bezem},
month = sep,
date = {12-15 September 2011},
year = 2011,
place = {Bergen, Norway},
publisher = {Schloss Dagstuhl Leibniz Center for Informatics},
series = {Leibniz International Proceedings in Informatics}
}
@proceedings{fossacs08,
booktitle = {Proceedings of the 11th International Conference on Foundations of
Software Science and Computation Structures (FOSSACS'08)},
editor = {Roberto Amadio},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 4962,
month = mar,
year = 2008,
place = {Budapest, Hungary}
}
@proceedings{fossacs11,
booktitle = {Proceedings of the 14th International Conference on Foundations of
Software Science and Computation Structures (FOSSACS'11)},
editor = {Martin Hofmann},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {6604},
month = mar,
year = 2011,
place = {Saarbruecken, Germany}
}
@proceedings{hor04,
editor = {Delia Kesner and Femke {van Raamsdonk} and Joe Wells},
booktitle = {2nd International Workshop on Higher-Order Rewriting (HOR'04)},
series = {Technical Report AIB-2004-03, RWTH Aachen},
month = jun,
year = {2004},
place = {Aachen, Germany},
url = {\texttt{http://aib.informatik.rwth-aachen.de/2004/2004-03.ps.gz}}
}
@proceedings{ifipTCS02,
editor = {Ricardo A. Baeza-Yates and
Ugo Montanari and
Nicola Santoro},
booktitle = {Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS'02)},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {223},
year = {2002},
month = aug,
place = {{Montr\'eal}, Canada},
isbn = {1-4020-7181-7}
}
@proceedings{rta05,
booktitle = {Proceedings of the 16th International Conference on Rewriting Techniques and Applications(RTA'05)},
editor = {J\"urgen Giesl},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = 3467,
month = apr,
year = 2005,
place = {Nara, Japan}
}
This file was generated by bibtex2html 1.97.