HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Nikolai Kudasov

Publications
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables
Nikolai Kudasov
EasyChair Preprint 8680

Keyphrases

dependent types, E-unification, higher-order unification, paramodulation, second-order equations, type inference, unification.

Copyright © 2012-2025 easychair.org. All rights reserved.