Computer Science, Logic in Computer Science Capture-Avoiding Substitution as a Nominal Algebraic Concept December 27, 2023
Computer Science, Logic in Computer Science Rethinking Normal Forms and Typed -Calculus November 30, 2023