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

RACLAVSKÝ, Jiří. Notes on beta-reduction within Tichý's partial ramified type theory. In 9th Scandinavian Logic Symposium, Tampere, 25-27 August 2014. 2014.

Základní údaje

Originální název

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

Autoři

RACLAVSKÝ, Jiří

Vydání

9th Scandinavian Logic Symposium, Tampere, 25-27 August 2014, 2014

---

Další údaje

Jazyk

angličtina

Typ výsledku

Konferenční abstrakt

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Finsko

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14210/14:00076338

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

beta-reduction; beta-reduction by name/by value; type theory; Tichy

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.

---

Návaznosti

MUNI/A/0803/2013, interní kód MU

Název: Proměny a konstanty soudobé filozofie Investor: Masarykova univerzita, Proměny a konstanty soudobé filozofie, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty