Related Sites

• FreshML Research Project
• Fresh Objective Caml web site
• Nominal datatypes package for Isabelle/HOL: software, mailing list
• αProlog:A Logic Programming Language with Names and Binding
• αKanren: A Fresh Name in Nominal Logic Programming