Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Инъективность и дизъюнктность конструкторов. Большая элиминация. Паттерн "конвой". Доказательства по индукции. Prop и Type.
Введение в формальную верификацию программ

Что: Лекция
Когда: Четверг, 01 апреля 2021, 18:30–20:00
Где: Конференция в zoom, Онлайн

Видео