Type Theories for Autonomous and *-Autonomous Categories: I. Type Theories and Rewrite Systems - II. Internal Languages and Coherence Theorems (1998)

Cached

Download Links

by T. W. Koh , C. -h. L. Ong
Citations:5 - 4 self