2 ms·Constructivism. Linear logic, geometry of interaction, transcendental syntax.by adamnemecek 4y agoConstructivism. Linear logic, geometry of interaction, transcendental syntax.