Dwight Spencer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

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

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

Coauthor Index