| RACLAVSKÝ, Jiří. Beta-reduction and parciality. In Computational Logic, FI MU (Brno). 2014. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Beta-reduction and parciality |
| Name in Czech | Početní pravidlo beta-redukce a parcialita |
| Authors | RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution). |
| Edition | Computational Logic, FI MU (Brno), 2014. |
| Other information | |
|---|---|
| Original language | English |
| Type of outcome | Presentations at conferences |
| 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 |
| Changed by | Changed by: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Changed: 19/6/2020 12:20. |
| Abstract |
|---|
| 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. |
| Abstract (in Czech) |
|---|
| 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. |
| 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 | |
PrintDisplayed: 12/9/2024 20:24