Origini e applicazioni della teoria A contro la teoria B?

In un paio di domande recenti ( q1 q2 ), si è discusso di "Teoria A" vs "Teoria B", apparentemente per cogliere il divario tra lo studio della logica e dei linguaggi di programmazione e lo studio degli algoritmi e della complessità.

Questa terminologia era nuova per me e una rapida ricerca sul web non ha fornito alcun riferimento ovvio che lo spiegasse.

Qualcuno sa di un riferimento o riferimenti che spiegano l'origine di questa terminologia e quali vantaggi sostanziali si intende derivare dal fare questa distinzione?

Viene dal manuale sull'informatica teorica , che aveva due volumi: A era per algoritmi e complessità, e B era per logica e semantica.

Jukka, l'ICALP ha preceduto questo? O era in risposta a questo?

Per quanto riguarda i vantaggi, penso che ci sia sempre qualche utilità in aree tassonomizzanti basate su argomenti di interesse e forme di studio. Tuttavia, come con tutte le tassonomizzazioni, il problema si presenta quando si dimentica di "risalire l'albero e dall'altra parte" :).

EDIT : come afferma esplicitamente ICALP, questa divisione proviene dalla rivista Thesetical Computer Science di Elsevier , che a sua volta precede il manuale, quindi penso che sia una fonte più accurata.

EDIT ++ : Dalla storia dell'EATCS proviene questo frammento di TCS, il diario:

Da quel momento M. Nivat, che è ancora caporedattore, ha riferito regolarmente al consiglio e all'assemblea generale e occasionalmente nel Bollettino - ad es. Quando la suddivisione in sezioni A (automi, algebra e algoritmi) e B (logica, semantica e argomenti correlati) è stato deciso (Bollettino n. 45, p. 2,3, ottobre 1991);

che produce il 1991 come quando questo è iniziato per la prima volta alla rivista. Tuttavia, il manuale è stato pubblicato per la prima volta nel settembre 1990!

Traccia ICALP A vs. B.