information about Structural proof theory field