According to our database1, Sergueï Lenglet authored at least 20 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proving Soundness of Extensional Normal-Form Bisimilarities.
Electr. Notes Theor. Comput. Sci., 2018
HOπ in Coq.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
Faithful (meta-)encodings of programmable strategies into term rewriting systems.
Logical Methods in Computer Science, 2017
Fully abstract encodings of λ-calculus in HOcore through abstract machines.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
A faithful encoding of programmable strategies into term rewriting systems.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Howe's Method for Contextual Semantics.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.
Electr. Notes Theor. Comput. Sci., 2014
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proving termination of evaluation for System F with control operators.
Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013
Environmental Bisimulations for Delimited-Control Operators.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
Applicative Bisimulations for Delimited-Control Operators.
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Normal Form Bisimulations for Delimited-Control Operators.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
Expansion for Universal Quantifiers.
Proceedings of the Programming Languages and Systems, 2012
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput., 2011
Typing control operators in the CPS hierarchy.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).
PhD thesis, 2010
Normal Bisimulations in Calculi with Passivation.
Proceedings of the Foundations of Software Science and Computational Structures, 2009
Howe's Method for Calculi with Passivation.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
A Core Calculus for Scala Type Checking.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006