HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Daniel Friedman

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

Keyphrases

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

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