Beta-reduction and parciality

RACLAVSKÝ, Jiří. Beta-reduction and parciality. In Computational Logic, FI MU (Brno). 2014.

Základní údaje

• Originální název: Beta-reduction and parciality
• Název česky: Početní pravidlo beta-redukce a parcialita
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: Computational Logic, FI MU (Brno), 2014.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Prezentace na konferencích
• 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

After an introduction to lambda calculus, in which beta-reduction is the main rule, we focus on the problems raised in partiality adopted in the framework. We will show behaviour of various kinds of beta-reduction and investigate the so-called conditionalized beta-reduction.

Anotace česky

Po lehkém úvodu do lambda-kalkulu, v němž je beta-redukce základním početním pravidlem (tj. [lambda (...x...) t] = (...t/x...) ), se zaměříme na potíže, které vzniknou, když do systému přijmeme parcialitu. Ukážeme si chování několika druhů beta-redukcí a přikloníme se k tzv. conditionalized beta-redukci.

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í