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

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 19, Issue 2
Hlavní autor:	van Bakel, Steffen
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 25.05.2023
Témata:	computer science - logic in computer science
ISSN:	1860-5974, 1860-5974
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!