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

Full description

Bibliographic Details

Published in:	Mathematical structures in computer science Vol. 32; no. 8; pp. 1066 - 1098
Main Authors:	Battyányi, Péter, Nour, Karim
Format:	Journal Article
Language:	English
Published:	Cambridge Cambridge University Press 01.09.2022
Subjects:	Algorithms Calculus Isomorphism Logic Numbers Reduction Syntax
ISSN:	0960-1295, 1469-8072
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!