Mentions légales du service

Skip to content
PPDP2022
AMBAL Guillaume's avatar
AMBAL Guillaume
@gambal
6894c4a2 · proof for double transformation · 
Version cited in paper "Certified Derivation of Small-Step From Big-Step Skeletal Semantics" submitted to PPDP 2022.