@antoinechambertloir@jonmsterling
Can't resist this immortal Girard quote:
"Theoretical Computing is not yet a science. Many basic concepts have not been clarified, and current work in the area obeys a kind of “wedding cake” paradigm: for instance language design is reminiscent of Ptolomeic astronomy — forever in need of further corrections. There are, however, some limited topics such as complexity theory and denotational semantics which are relatively free from this criticism.
In such a situation, methodological remarks are extremely important, since we have to see methodology as strategy and concrete results as of a tactical nature."