Putting algebraic components together: A dependent type approach (1990)

by J-C Reynaud
Venue:Research Report 810 I IMAG, LIFIA