Beta-reduction and parciality
| Název česky | Početní pravidlo beta-redukce a parcialita |
|---|---|
| Autoři | |
| Rok publikování | 2014 |
| Druh | Další prezentace na konferencích |
| Fakulta / Pracoviště MU | |
| 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: |