Categorical Models for Local Names (1996)

by Ian Stark
Venue:LISP AND SYMBOLIC COMPUTATION