TY  - JOUR
AU  - Baratella, Stefano
TI  - Karp's interpolation theorem for some classes of infinitary languages
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1989
SP  - 9
EP  - 23
VL  - 82
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1989__82__9_0/
LA  - en
ID  - RSMUP_1989__82__9_0
ER  -