Partial Type Theory TT* with Extensions

RACLAVSKÝ, Jiří. Partial Type Theory TT* with Extensions. In Czech Gathering of Logicians (CGL2023). 2023.

Základní údaje

Originální název

Partial Type Theory TT* with Extensions

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Czech Gathering of Logicians (CGL2023), 2023

---

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

Česká republika

Utajení

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

Odkazy

URL

Kód RIV

RIV/00216224:14210/23:00130921

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

partial type theory; partial lambda-calculus; natural deduction

Příznaky

Recenzováno

---

Anotace

V originále

In the talk, we present some main features of TT*, but we focus on its extensions using evaluation terms. Evaluation terms correspond to Lisp's evaluation terms; see Farmer 2016 for a discussion of their need in computer science and also a set of problems brought by their adoption. The current version of TT* successfully resists the problems and allows thus deduction not only with higher-order functions-as-mappings, but also with (total or partial) functions-as-algorithms w.r.t. (total or partial) functions-as-mappings.

---

Návaznosti

MUNI/A/1082/2022, interní kód MU

Název: Aspekty soudobé filozofie V Investor: Masarykova univerzita, Aspekty soudobé filozofie V