Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Thomas Traversié, Florian Rabe
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and log…