Constructive Category Theory (1998)

Cached

Download Links

by Gérard Huet , Amokrane Saïbi
Venue:IN PROCEEDINGS OF THE JOINT CLICS-TYPES WORKSHOP ON CATEGORIES AND TYPE THEORY, GOTEBORG
Citations:26 - 1 self