k 2022

Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Problems with Beta-conversion Rules in Type Theory with Quotation and Evaluation Terms

Autoři

Vydání

XXVII Incontro di Logica, 2022

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Itálie

Utajení

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

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

partial type theory; evaluation terms; beta-conversion

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 14. 2. 2023 13:50, Mgr. Kateřina Urubková

Anotace

V originále

The (partial) type theory is enriched by terms for quotation and evaluation, following thus Lisp's family of programming languages. As noted by Farmer, various problems arise from such extensions, most notably with the substitutability of free variables nested in those new terms. In particular, the beta-conversion rules fail in some cases. In the talk, we solve all these problems.

Návaznosti

MUNI/A/1088/2021, interní kód MU
Název: Aspekty soudobé filozofie IV
Investor: Masarykova univerzita, Aspekty soudobé filozofie IV