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

RACLAVSKÝ, Jiří. Beta-redukce v (Tichého) parciálním lambda-kalkulu (Beta-reduction in (Tichy's) partial lambda-calculus). 2014.

Basic information

• Original name: Beta-redukce v (Tichého) parciálním lambda-kalkulu
• Name (in English): Beta-reduction in (Tichy's) partial lambda-calculus
• Authors: RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
• Edition: 2014.

Other information

• Original language: Czech
• Type of outcome: Requested lectures
• Field of Study: 60300 6.3 Philosophy, Ethics and Religion
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• Organization unit: Faculty of Arts
• Keywords in English: lambda-calculus; beta-reduction; partiality

Abstract

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.

Abstract (in English)

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.

Links

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

Investor: Ministry of Education, Youth and Sports of the CR, 2.2 Higher education