Dwight Spencer

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

J. Robin B. Cockett, Dwight Spencer
Strong Categorical Datatypes II: A Term Logic for Categorical Programming. Theor. Comput. Sci. 139 (1&2) (1995)