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

Celý popis

Podrobná bibliografie

Vydáno v:	arXiv.org
Hlavní autor:	Steffen van Bakel
Médium:	Paper
Jazyk:	angličtina
Vydáno:	Ithaca Cornell University Library, arXiv.org 24.05.2023
Témata:	Deduction Reduction
ISSN:	2331-8422
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!