Adding Negation to Lambda Mu - van Bakel, Steffen (Logical methods in computer science, 2023)
Keywords: computer science - logic in computer science