Beta-redukce v (Tichého) parciálním lambda-kalkulu

• Autoři: RACLAVSKÝ Jiří
• Rok publikování: 2014
• Druh: Vyžádané přednášky
• Fakulta / Pracoviště MU: Filozofická fakulta
• Popis: Po lehkém úvodu do lambda-kalkulu si připomeneme základní verze jeho ústředního početního pravidla, beta-redukce. V hlavní části přednášky nejprve uvedeme Tichého parciální typovaný lambda-kalkul. Postupně pak analyzujeme pojem beta-redukce. Zejména zhodnotíme Tichého variantu beta-redukce a navrhneme její reformulaci pro oblast mimo sekvenční kalkul.

Související projekty

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