Notes on beta-reduction within Tichý's partial ramified type theory

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Filozofickou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

RACLAVSKÝ Jiří

Rok publikování 2014
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis I analyze the notion of beta-reduction within Tichy's partial type theory. Since the framework adopts partial functions, the most known beta-reduction, viz. beta-reduction by name is invalid in it. I show that the reason invalidates also an attemtp to define unconditionalized, non-strict beta-reduction, thus Tichy's conditionalized beta-reduction is still a plausible proposal. I define also a correct version of beta-reduction by value.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.