nLab Vincent Laurence Rouleau

writings

  • Towards an understanding of Girard’s transcendental syntax: Syntax by testing, PhdD thesis 2013 (pdf)
category: people

Created on May 23, 2014 at 02:25:15. See the history of this page for a list of all contributions to it.