TY  - JOUR
AU  - Cury, F.
TI  - La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
JO  - Diagrammes
N1  - talk:1
PY  - 1993
SP  - 1
EP  - 122
VL  - 30
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://archive.numdam.org/item/DIA_1993__30__A1_0/
LA  - fr
ID  - DIA_1993__30__A1_0
ER  -