One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus

Open Webpage

David M. Cerna, Michal Buran

Published: 01 Jan 2024, Last Modified: 10 Jul 2025ACM Trans. Comput. Log. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0