p 2014

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

RACLAVSKÝ, Jiří

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

Language

Czech

Type of outcome

Vyžádané přednášky

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Organization unit

Faculty of Arts

Keywords in English

lambda-calculus; beta-reduction; partiality
Změněno: 12/3/2024 15:23, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Abstract

ORIG EN

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.

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