Семинар “Алгебра и логика”
Следващото заседание на семинара "Алгебра и логика" ще се проведе на 30 август 2019 г. (петък) от 13:00 часа в зала 578 на ИМИ – БАН. Доклад на тема TYPE-THEORY OF ACYCLIC RECURSION AND ITS REDUCTION CALCULUS ще изнесе Русанка ЛУКАНОВА. Поканват се всички желаещи. От секция „Алгебра и логика” на ИМИ – БАН Резюме. In this talk, I will introduce Moschovakis typed-theory of algorithms. I shall present its formal language and original reduction calculus, which reduces the terms to their canonical forms. Distinctively, the reduction calculus associates the formal theory with denotational and algorithmic semantics. The canonical forms determine the relation of algorithmic equivalence between terms. If time allows, I will extend the formal system by gamma-reduction and algorithmic gamma-equivalence. The gamma-calculus reduces the [...]