Adding Negation to Lambda Mu
Work
Year: 2023
Type: article
Abstract: 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. ... more
Author Steffen van Bakel
Institution Imperial College London
Cites: 39
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond