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ří (203 Česká republika, garant, domácí).
• Vydání: 9th Scandinavian Logic Symposium, Tampere, 25-27 August 2014, 2014.

Další údaje

• Originální 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í
• 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

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