Computer Science, Logic in Computer Science Substitution in the Lambda Calculus: A Comprehensive Review January 5, 2024
Computer Science, Hardware Architecture Optimizing Cost Functions for Logic Synthesis with AnySyn November 19, 2023