29

Categorical Type Theory and its Uses

Embed Size (px)

DESCRIPTION

January 2000

Citation preview