Computer Science, Logic in Computer Science Permissive-Nominal Logic: A New Approach to Abstract Syntax with Variable Binding December 27, 2023
Computer Science, Logic in Computer Science Non-Termination in Term Rewriting and Logic Programming December 21, 2023