Categorical models for local names (1996)

by Ian Stark
Venue:LISP and Symbolic Computation