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

RACLAVSKÝ, Jiří. Beta-redukce v (Tichého) parciálním lambda-kalkulu. 2014.

Základní údaje

• Originální název: Beta-redukce v (Tichého) parciálním lambda-kalkulu
• Název anglicky: Beta-reduction in (Tichy's) partial lambda-calculus
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: 2014.

Další údaje

• Originální jazyk: čeština
• Typ výsledku: Vyžádané přednášky
• Obor: 60300 6.3 Philosophy, Ethics and Religion
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: lambda-calculus; beta-reduction; partiality

Anotace

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.

Anotace anglicky

After an introduction to lambda calculus, in which beta-reduction is the main rule. In the main part of the lecture we focus on the problems raised in partiality adopted in the extensive framework developed by Pavel Tichý. We will show behaviour of various kinds of beta-reduction and investigate the so-called conditionalized beta-reduction and refermulate it also for the use outside the sequent calculus.

Návaznosti

• CZ.1.07/2.2.00/28.0216, interní kód MU: Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání