Computer Science, Logic in Computer Science Substitution in the Lambda Calculus: A Comprehensive Review January 5, 2024
Computer Science, Logic in Computer Science Rethinking Normal Forms and Typed -Calculus November 30, 2023