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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical structures in computer science Jg. 32; H. 8; S. 1066 - 1098
Hauptverfasser:	Battyányi, Péter, Nour, Karim
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press 01.09.2022
Schlagworte:	Algorithms Calculus Isomorphism Logic Numbers Reduction Syntax
ISSN:	0960-1295, 1469-8072
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!