Beta-reduction and parciality

Investor logo
Authors

RACLAVSKÝ Jiří

Year of publication 2014
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Citation
Description 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.
Related projects:

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