Project with Thomas Seiller: succeeding the Geometry of Interaction, the “Transcendental Syntax” project of Jean-Yves Girard aims at a reconstruction of logical entities (LL proof-nets, formulas, correctness criterion, truth/provability) from a model of computation based on first-order unification. The project suggests a new and fully computational foundation for linear logic.