Robuta

https://www.muni.cz/en/research/publications/1410191 Trains and Trees of Thoughts: Towards the Representation of Structural Semantics (invited talk... structural semantics trains trees thoughts towards https://www.di.ens.fr/~cousot/COUSOTtalks/IC-2007-07-04.shtml P. Cousot, Bi-inductive structural semantics and its abstraction structural semantics cousot inductive abstraction