HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Weixi Ma

Publications
Efficiency of a good but not linear nominal unification algorithm
Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman
EasyChair Preprint 243

Keyphrases

Binding operations, de bruijn number, efficiency, unification, α-conversion.

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