https://isa-afp.org/authors/rincion/ AFP entries of Mauricio Ayala-Rinción https://isa-afp.org/entries/Nominal_Unification.html Thu, 23 Apr 2026 00:00:00 +0000 Nominal Unification in the AFP Computer science/Algorithms