A formális szemantika interaktív oktatása tételbizonyító rendszerben

Horpácsi, Dániel [Horpácsi, Dániel (Informatikai tudo...), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); Németh, Dávid János [Németh, Dávid János (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Kaposi, Ambrus [Kaposi, Ambrus (Típuselmélet), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)