Categorical models for local names (1996)

by I D B Stark
Venue:Lisp and Symbolic Computation