¿Orígenes y aplicaciones de la teoría A contra la teoría B?

En un par de preguntas recientes ( q1 q2 ), se ha debatido sobre "Teoría A" versus "Teoría B", aparentemente para capturar la división entre el estudio de los lenguajes de lógica y programación y el estudio de algoritmos y complejidad.

Esta terminología era nueva para mí, y una búsqueda rápida en la web no arrojó referencias obvias que lo explicaran.

¿Alguien sabe de una referencia o referencias que expliquen el origen de esta terminología, y qué beneficio sustancial, si lo hay, se deriva de hacer esta distinción?

Proviene del manual sobre informática teórica , que tenía dos volúmenes: A era para algoritmos y complejidad, y B era para lógica y semántica.

Jukka, ¿ICALP fue anterior a esto? ¿O fue en respuesta a esto?

En cuanto a los beneficios, creo que siempre hay alguna utilidad en taxonomizar áreas basadas en temas de interés y formas de estudio. Sin embargo, como con todas las taxonomizaciones, el problema surge cuando olvida "volver al árbol y bajar al otro lado" :).

EDITAR : como indica explícitamente ICALP, esta división proviene de la revista Elsevier Theoretical Computer Science , que es anterior al manual, por lo que creo que es una fuente más precisa.

EDIT ++ : De la historia de EATCS viene este fragmento sobre TCS, la revista:

Desde ese momento, M. Nivat, que todavía es editor en jefe, ha informado regularmente al consejo y a la asamblea general y ocasionalmente en el Boletín, por ejemplo, cuando se divide en las secciones A (autómatas, álgebra y algoritmos) y B (lógica, semántica y temas relacionados) se decidió (Boletín no. 45, p.2,3, octubre de 1991);

que produce 1991 como cuando esto comenzó a suceder en la revista. ¡Sin embargo, el Manual se publicó por primera vez en septiembre de 1990!

ICALP pista A vs. B.