Beta-reduction and parciality

• 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
• 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

• Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia