Computer Science, Logic in Computer Science Capture-Avoiding Substitution as a Nominal Algebraic Concept December 27, 2023
Computer Science, Logic in Computer Science Combinatory Algebras and Embeddings: A Study of Partial Combinators December 22, 2023