Adding Negation to Lambda Mu

We present \(\cal L\), an extension of Parigot's \(\lambda\mu\)-calculus by adding negation as a type constructor, together with syntactic constructs that represent negation introduction and elimination. We will define a notion of reduction that extends \(\lambda\mu\)'s reduction system wi...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Author:	Steffen van Bakel
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 24.05.2023
Subjects:	Deduction Reduction
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!