Sergueï Lenglet

Available identifiers

zbMath Open lenglet.sergueiMaRDI QIDQ283738

List of research outcomes

Publication	Date of Publication	Type
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines	2024-09-04	Paper
Non-deterministic abstract machines	2024-08-13	Paper
Diacritical companions	2022-04-29	Paper
Proving soundness of extensional normal-form bisimilarities	2022-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4957787	2021-09-09	Paper
\(\mathrm{HO}\pi\) in Coq	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5144665	2021-01-19	Paper
A complete normal-form bisimilarity for state	2020-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5377471	2019-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q5376646	2019-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4596794	2017-12-11	Paper
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5367066	2017-10-12	Paper
Howe's Method for Contextual Semantics	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277872	2017-07-12	Paper
Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus	2016-05-13	Paper
Environmental Bisimulations for Delimited-Control Operators	2015-01-12	Paper
Normal Form Bisimulations for Delimited-Control Operators	2012-07-20	Paper
Applicative Bisimulations for Delimited-Control Operators	2012-06-22	Paper
Expansion for Universal Quantifiers	2012-06-22	Paper
Characterizing contextual equivalence in calculi with passivation	2011-12-12	Paper
Howe’s Method for Calculi with Passivation	2009-10-22	Paper
Normal Bisimulations in Calculi with Passivation	2009-03-31	Paper
A Core Calculus for Scala Type Checking	2007-09-05	Paper

Research outcomes over time

This page was built for person: Sergueï Lenglet