Origens e aplicações da teoria A vs teoria B?

Em algumas perguntas recentes ( q1 q2 ), houve uma discussão sobre "Teoria A" vs "Teoria B", aparentemente para capturar a divisão entre o estudo das linguagens de lógica e programação e o estudo de algoritmos e complexidade.

Essa terminologia era nova para mim, e uma rápida pesquisa na web não apresentou nenhuma referência óbvia que a explicasse.

Alguém sabe de uma referência ou referências que explicam a origem dessa terminologia e que benefício substancial, se houver, se destina a derivar dessa distinção?

Ele vem do manual de ciência da computação teórica , que tinha dois volumes: A era para algoritmos e complexidade e B era para lógica e semântica.

Jukka, o ICALP antecedeu isso? Ou foi em resposta a isso?

Quanto aos benefícios, acho que há sempre alguma utilidade nas áreas de taxonomização com base em tópicos de interesse e formas de estudo. No entanto, como em todas as taxonomizações, o problema surge quando você esquece de "voltar à árvore e descer do outro lado" :).

EDIT : como ICALP declara explicitamente, essa divisão vem da revista Elsevier Theoretical Computer Science , que é anterior ao manual, então acho que é uma fonte mais precisa.

EDIT ++ : A partir da história do EATCS, vem esse trecho sobre o TCS, o periódico:

Desde então, M. Nivat, que ainda é editor-chefe, se reporta regularmente ao conselho e à assembléia geral e, ocasionalmente, no Boletim - por exemplo, quando é dividido nas seções A (autômatos, álgebra e algoritmos) e B (lógica, semântica e tópicos relacionados) foi decidido (Boletim nº 45, p.2,3, outubro de 1991);

que rende 1991 como quando isso começou a acontecer na revista. No entanto, o Manual foi publicado pela primeira vez em setembro de 1990!

Faixa ICALP A vs. B.