Beta-redukce v (Tichého) parciálním lambda-kalkulu
| Title in English | Beta-reduction in (Tichy's) partial lambda-calculus |
|---|---|
| Authors | |
| Year of publication | 2014 |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |