Publications

Publications HAL de Sergueï Lenglet

Journal articles

titre
Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (4), pp.1-54. 〈10.23638/LMCS-13(4:16)2017〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01479030/file/1705.08632v2.pdf BibTex
titre
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
auteur
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), 〈10.23638/LMCS-13(3:27)2017〉
Accès au bibtex
https://arxiv.org/pdf/1611.09626v5 BibTex
titre
Characterizing contextual equivalence in calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Information and Computation, Elsevier, 2011, 209 (11), pp.1390-1433. 〈10.1016/j.ic.2011.08.002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903877/file/journal.pdf BibTex

Conference papers

titre
HOπ in Coq
auteur
Sergueï Lenglet, Alan Schmitt
article
CPP 2018 – The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, 2018, 〈10.1145/3167083〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614987/file/cpp18.pdf BibTex
titre
Proving Soundness of Extensional Normal-Form Bisimilarities
auteur
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
Mathematical Foundations of Programming Semantics XXXIII, Jun 2017, Ljubljana, Slovenia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01650000/file/mfps.pdf BibTex
titre
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article
LICS 2017, Jun 2017, Reykjavik, Iceland. Proceedings of LICS 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01479035/file/lics.pdf BibTex
titre
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
auteur
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. 52, LIPIcs. 〈10.4230/LIPIcs.FSCD.2016.9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01335959/file/LIPIcs-FSCD-2016-9.pdf BibTex
titre
Howe’s Method for Contextual Semantics
auteur
Sergueï Lenglet, Alan Schmitt
article
CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. 〈10.4230/LIPIcs.CONCUR.2015.212〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01192699/file/Concur%2015.pdf BibTex
titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, 〈10.4230/LIPIcs.RTA.2015.74〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01168956/file/10.pdf BibTex
titre
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
auteur
Dariusz Biernacki, Sergueï Lenglet
article
Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. 308, pp.49 – 64, 2014, 〈10.1016/j.entcs.2014.10.004〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01080960/file/lambdamuentcs.pdf BibTex
titre
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
auteur
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
article
POPL ’14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, 2014, 〈10.1145/2535838.2535840〉
Accès au bibtex
BibTex
titre
Environmental Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet
article
Chung-chieh Shan. APLAS – 11th Asian Symposium on Programming Languages and Systems – 2013, Dec 2013, Melbourne, Australia. Springer, 8301, pp.333-348, 2013, LNCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903839/file/aplas.pdf BibTex
titre
Proving termination of evaluation for System F with control operators
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
article
de’Liquoro, Ugo and Saurin, Alexis. COS 2013 – First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. Open Publishing Association, 127, pp.15-29, 2013, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.127.2〉
Accès au bibtex
https://arxiv.org/pdf/1309.1261 BibTex
titre
Normal Form Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet
article
T. Shrijvers and P. Thiemann. Symposium on Functional and Logic Programming (FLOPS 2012), Jun 2012, Kobé, Japan. Springer, LNCS 7294, pp.47 – 61, 2012, 〈10.1007/978-3-642-29822-6_7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399951/file/biernacki-lenglet-flops12.pdf BibTex
titre
Applicative Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet
article
Lars Birkedal. Foundations of Software Science and Computation Structures (FoSSaCS 2012), Mar 2012, Tallinn, Estonia. Springer, LNCS 7213, pp.119 – 134, 2012, 〈10.1007/978-3-642-28729-9_8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399945/file/biernacki-lenglet-fossacs12.pdf BibTex
titre
Expansion for Universal Quantifiers
auteur
Sergueï Lenglet, J Wells
article
European Symposium On Programming (ESOP 2012), Mar 2012, Tallinn, Estonia. pp.456 – 475, 2012, 〈10.1007/978-3-642-28869-2_23〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01405792/file/etaps_final.pdf BibTex
titre
Typing control operators in the CPS hierarchy
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet
article
PPDP – Principles and Practice of Declarative Programming, Jul 2011, Odense, Denmark. ACM New York, pp.149-160, 2011, Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. 〈10.1145/2003476.2003498〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903834/file/hierarchy.pdf BibTex
titre
Howe’s Method for Calculi with Passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448–462, 2009, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486800/file/Lenglet2009Howes-Method-for-Cal.pdf BibTex
titre
Normal bisimulations in process calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257–271, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00596-1_19〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00490810/file/2009.03.01-Eart-Normal_bisimulations_in_process_calculi_with_passivation_by_Lenglet._S_Schmitt._A_Stefani._J.pdf BibTex
titre
A Core Calculus for Scala Type Checking
auteur
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
article
Královič, Rastislav and Urzyczyn, Paweł. Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. Springer Berlin Heidelberg, 4162, pp.1-23, 2006, Lecture Notes in Computer Science. 〈10.1007/11821069_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903812/file/06-Cremet.pdf BibTex

Reports

titre
A Complete Normal-Form Bisimilarity for State
auteur
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
[Research Report] RR-9251, Inria Nancy – Grand Est. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02002115/file/RR-9251.pdf BibTex
titre
Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
[Research Report] RR-9096, Inria Nancy – Grand Est. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01207112/file/RR-9096.pdf BibTex
titre
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
auteur
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
article
[Research Report] RR-9052, Inria. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01507625/file/RR-9052.pdf BibTex
titre
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
auteur
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
article
[Research Report] RR-8905, Inria. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01305137/file/RR-8905v2.pdf BibTex
titre
Howe’s Method for Contextual Semantics
auteur
Sergueï Lenglet, Alan Schmitt
article
[Research Report] RR-8750, Inria. 2015, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01168865/file/RR-8750.pdf BibTex
titre
Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus
auteur
Dariusz Biernacki, Sergueï Lenglet
article
[Research Report] RR-8447, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926100/file/RR-8447.pdf BibTex
titre
Howe’s Method for Early Bisimilarities
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-6773, INRIA. 2008, pp.69
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00347137/file/RR-6773v2.pdf BibTex
titre
Normal bisimulations in process calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-6664, INRIA. 2008, pp.102
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330565/file/RR-6664.pdf BibTex

Theses

titre
Bisimulations dans les calculs avec passivation
auteur
Sergueï Lenglet
article
Informatique [cs]. Université Joseph-Fourier – Grenoble I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00447857/file/these.pdf BibTex

Preprints, Working Papers, …

titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01119941/file/paper.pdf BibTex
titre
Environmental Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet
article
Long version of the corresponding APLAS13 paper. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00862189/file/aplasLong.pdf BibTex
titre
Applicative Bisimulations for Delimited-Control Operators
auteur
Dariusz Biernacki, Sergueï Lenglet
article
A long version of an article accepted at FoSSaCS 2012. 2012
Accès au bibtex
https://arxiv.org/pdf/1201.0874 BibTex