Trane Full Brochure
A Simple Nominal Type Theory
Completeness and Herbrand Theorems for Nominal Logic