Sergueï Lenglet

48
Documents

Publications

Publications

Fully Abstract Encodings of Lambda-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

Logical Methods in Computer Science, 2024, 20 (3), pp.1-45. ⟨10.46298/lmcs-20(3:3)2024⟩

Article dans une revue hal-04638249v1
Deposit thumbnail

HOπ in Coq

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt

Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09553-0⟩

Article dans une revue hal-02536463v2

Proving Soundness of Extensional Normal-Form Bisimilarities

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Logical Methods in Computer Science, 2019, 15 (1), pp.31:1-31:24. ⟨10.23638/LMCS-15(1:31)2019⟩

Article dans une revue hal-02086527v1

Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Logical Methods in Computer Science, 2019, 15 (2), pp.18:1-18:57. ⟨10.23638/LMCS-15(2:18)2019⟩

Article dans une revue hal-02307669v1

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Andrés Aristizábal , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Logical Methods in Computer Science, 2017, 13 (3), ⟨10.23638/LMCS-13(3:27)2017⟩

Article dans une revue hal-01590620v1
Deposit thumbnail

Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems

Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau

Logical Methods in Computer Science, 2017, 13 (4), pp.1-54. ⟨10.23638/LMCS-13(4:16)2017⟩

Article dans une revue hal-01479030v2
Deposit thumbnail

Characterizing contextual equivalence in calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

Information and Computation, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩

Article dans une revue hal-00903877v1
Deposit thumbnail

Optimizing a Non-Deterministic Abstract Machine with Environments

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Alan Schmitt

FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩

Communication dans un congrès hal-04643294v1
Deposit thumbnail

Leaf-First Zipper Semantics

Sergueï Lenglet , Alan Schmitt

FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. ⟨10.1007/978-3-031-62645-6_7⟩

Communication dans un congrès hal-04571340v1
Deposit thumbnail

Non-Deterministic Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Alan Schmitt

CONCUR 2022 - 33rd International Conference
 on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩

Communication dans un congrès hal-03772712v1
Deposit thumbnail

Certified Derivation of Small-Step From Big-Step Skeletal Semantics

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt , Camille Noûs

PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩

Communication dans un congrès hal-03768820v1
Deposit thumbnail

Certified Abstract Machines for Skeletal Semantics

Guillaume Ambal , Sergueï Lenglet , Alan Schmitt

CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩

Communication dans un congrès hal-03466807v1
Deposit thumbnail

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Formal Structures for Computation and Deduction, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020.7⟩

Communication dans un congrès hal-02559253v1
Deposit thumbnail

Diacritical Companions

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

MFPS 2019-Mathematical Foundations of Programming Semantics XXXV, Jun 2019, London, United Kingdom. ⟨10.1016/j.entcs.2019.09.003⟩

Communication dans un congrès hal-02136002v1
Deposit thumbnail

A Complete Normal-Form Bisimilarity for State

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

FoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩

Communication dans un congrès hal-02086532v1
Deposit thumbnail

HOπ in Coq

Sergueï Lenglet , Alan Schmitt

CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩

Communication dans un congrès hal-01614987v3
Deposit thumbnail

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩

Communication dans un congrès hal-01479035v1
Deposit thumbnail

Proving Soundness of Extensional Normal-Form Bisimilarities

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

Mathematical Foundations of Programming Semantics XXXIII, Jun 2017, Ljubljana, Slovenia. ⟨10.1016/j.entcs.2018.03.015⟩

Communication dans un congrès hal-01650000v1
Deposit thumbnail

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Andrés Aristizábal , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩

Communication dans un congrès hal-01335959v1
Deposit thumbnail

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt

CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩

Communication dans un congrès hal-01192699v1
Deposit thumbnail

A faithful encoding of programmable strategies into term rewriting systems

Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau

Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩

Communication dans un congrès hal-01168956v1

Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation

Giuseppe Castagna , Kim Nguyen , Zhiwu Xu , Hyeonseung Im , Sergueï Lenglet et al.

POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩

Communication dans un congrès hal-00907166v1
Deposit thumbnail

Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus

Dariusz Biernacki , Sergueï Lenglet

Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64, ⟨10.1016/j.entcs.2014.10.004⟩

Communication dans un congrès hal-01080960v1
Deposit thumbnail

Environmental Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet

APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348

Communication dans un congrès hal-00903839v1

Proving termination of evaluation for System F with control operators

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Marek Materzok

COS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29, ⟨10.4204/EPTCS.127.2⟩

Communication dans un congrès hal-00860954v1
Deposit thumbnail

Applicative Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet

Foundations of Software Science and Computation Structures (FoSSaCS 2012), Mar 2012, Tallinn, Estonia. pp.119 - 134, ⟨10.1007/978-3-642-28729-9_8⟩

Communication dans un congrès hal-01399945v1
Deposit thumbnail

Normal Form Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet

Symposium on Functional and Logic Programming (FLOPS 2012), Jun 2012, Kobé, Japan. pp.47 - 61, ⟨10.1007/978-3-642-29822-6_7⟩

Communication dans un congrès hal-01399951v1
Deposit thumbnail

Expansion for Universal Quantifiers

Sergueï Lenglet , J B Wells

European Symposium On Programming (ESOP 2012), Mar 2012, Tallinn, Estonia. pp.456 - 475, ⟨10.1007/978-3-642-28869-2_23⟩

Communication dans un congrès hal-01405792v1
Deposit thumbnail

Typing control operators in the CPS hierarchy

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet

PPDP - Principles and Practice of Declarative Programming, Jul 2011, Odense, Denmark. pp.149-160, ⟨10.1145/2003476.2003498⟩

Communication dans un congrès hal-00903834v1
Deposit thumbnail

Howe's Method for Calculi with Passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462

Communication dans un congrès inria-00486800v1
Deposit thumbnail

Normal bisimulations in process calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩

Communication dans un congrès inria-00490810v1
Deposit thumbnail

A Core Calculus for Scala Type Checking

Vincent Cremet , François Garillot , Sergueï Lenglet , Martin Odersky

Mathematical Foundations of Computer Science 2006, Aug 2006, Stará Lesná, Slovakia. pp.1-23, ⟨10.1007/11821069_1⟩

Communication dans un congrès hal-00903812v1
Deposit thumbnail

From Complementary to Zipper Semantics

Sergueï Lenglet , Camille Noûs , Alan Schmitt

Components Operationally: Reversibility and System Engineering Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 16065, Springer Nature Switzerland, pp.89-102, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-99717-4_5⟩

Chapitre d'ouvrage hal-05322293v1
Deposit thumbnail

Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step

Guillaume Ambal , Alan Schmitt , Sergueï Lenglet

[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020

Rapport (rapport de recherche) hal-02946930v2
Deposit thumbnail

A Complete Normal-Form Bisimilarity for State

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

[Research Report] RR-9251, Inria Nancy - Grand Est. 2019

Rapport (rapport de recherche) hal-02002115v1
Deposit thumbnail

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk , Damien Pous et al.

[Research Report] RR-9052, Inria. 2017

Rapport (rapport de recherche) hal-01507625v1
Deposit thumbnail

Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

[Research Report] RR-9096, Inria Nancy - Grand Est. 2017

Rapport (rapport de recherche) hal-01207112v3
Deposit thumbnail

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Andrés Aristizábal , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk

[Research Report] RR-8905, Inria. 2016

Rapport (rapport de recherche) hal-01305137v4
Deposit thumbnail

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt

[Research Report] RR-8750, Inria. 2015, pp.31

Rapport (rapport de recherche) hal-01168865v1
Deposit thumbnail

Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus

Dariusz Biernacki , Sergueï Lenglet

[Research Report] RR-8447, INRIA. 2014

Rapport (rapport de recherche) hal-00926100v2
Deposit thumbnail

Howe's Method for Early Bisimilarities

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

[Research Report] RR-6773, INRIA. 2008, pp.69

Rapport (rapport de recherche) inria-00347137v2
Deposit thumbnail

Normal bisimulations in process calculi with passivation

Sergueï Lenglet , Alan Schmitt , Jean-Bernard Stefani

[Research Report] RR-6664, INRIA. 2008, pp.102

Rapport (rapport de recherche) inria-00330565v1
Deposit thumbnail

Bisimulations dans les calculs avec passivation

Sergueï Lenglet

Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩

Thèse tel-00447857v1