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