Beta-reduction and parciality

Logo poskytovatele
Název česky Početní pravidlo beta-redukce a parcialita
Autoři

RACLAVSKÝ Jiří

Rok publikování 2014
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis Po lehkém úvodu do lambda-kalkulu, v němž je beta-redukce základním početním pravidlem (tj. [lambda (...x...) t] = (...t/x...) ), se zaměříme na potíže, které vzniknou, když do systému přijmeme parcialitu. Ukážeme si chování několika druhů beta-redukcí a přikloníme se k tzv. conditionalized beta-redukci.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.