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á bibliografia

Vydané v:	Mathematical structures in computer science Ročník 32; číslo 8; s. 1066 - 1098
Hlavní autori:	Battyányi, Péter, Nour, Karim
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge Cambridge University Press 01.09.2022
Predmet:	Algorithms Calculus Isomorphism Logic Numbers Reduction Syntax
ISSN:	0960-1295, 1469-8072
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!