Nie jesteś zalogowany | Zaloguj się

Definitional Proof Irrelevance in Coq

Prelegent(ci)
Daria Walukiewicz-Chrząszcz
Afiliacja
MIMUW
Termin
28 października 2022 12:15
Pokój
p. 5820
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji