TY - JOUR AU - Lellahi, S. K. TI - Categorical abstract data type (CADT) JO - Diagrammes N1 - talk:6 PY - 1989 SP - SK1 EP - SK23 VL - 21 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://www.numdam.org/item/DIA_1989__21__A6_0/ LA - en ID - DIA_1989__21__A6_0 ER -