One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
Article in ACM Transactions on Computational Logic (June 2024)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Article in ACM Transactions on Computational Logic (June 2024)
Book chapter (April 2024)
Book (July 2021)