Return to Article Details On minimal models for pure calculi of names Download Download PDF