• Sign in
  • Sign up
conf.researchr.org / Sergueï Lenglet
  • ETAPS 2019 profile
  • POPL 2018 profile
  • POPL 2022 profile

Registered user since Mon 6 Dec 2021

Name:Sergueï Lenglet
Affiliation:Université de Lorraine, France

Contributions

CPP 2022 Author of Certified Abstract Machines for Skeletal Semantics within the CPP 2022-track
FOSSACS 2019 Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track
CPP 2018 Author of HOpi in Coq within the CPP 2018-track

Share
xFri 2 Jun 02:48
using conf.researchr.org (v1.60.0)
Support page
Sign Up