Elementary-algebraic interpretation of P vs NP (L. Gordeev, A. Krebs, Tübingen University)
Proof-theoretic conservations of weak weak intuitionistic constructive set theories
(Oberwolfach, November 2011)
DAG Compressions
