HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:α-conversion

Papers
Efficiency of a good but not linear nominal unification algorithm
Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman
EasyChair Preprint no. 243
Copyright © 2012-2023 easychair.org. All rights reserved.