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

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

V originále

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.

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í