Publication details

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

Investor logo
Title in English Beta-reduction in (Tichy's) partial lambda-calculus
Authors

RACLAVSKÝ Jiří

Year of publication 2014
MU Faculty or unit

Faculty of Arts

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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info