Normalization in the simply typed -calculus

In this paper, in connection with the program of extending the Curry–Howard isomorphism to classical logic, we study the $\lambda \mu$ -calculus of Parigot emphasizing the difference between the original version of Parigot and the version of de Groote in terms of normalization properties. In order t...

Celý popis

Podrobná bibliografie

Vydáno v:	Mathematical structures in computer science Ročník 32; číslo 8; s. 1066 - 1098
Hlavní autoři:	Battyányi, Péter, Nour, Karim
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge Cambridge University Press 01.09.2022
Témata:	Algorithms Calculus Isomorphism Logic Numbers Reduction Syntax
ISSN:	0960-1295, 1469-8072
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!