• 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
xWed 6 Jul 11:15
using conf.researchr.org (v1.56.1)
Support page
Sign Up