equivalentexchange.blog
J.-Y. Girard’s Transcendental Syntax
With the recent release of the paper found at the link below, logician Jean-Yves Girard has updated his program for a transcendental syntax to version 2.0. The first version was available last year…