Mathematics Stack Exchange
Mathematics Stack Exchange

Marc
163
reputation
  • Lyon, France
  • Member since March 17 2011
  • 13 profile views
  • Last seen Nov 09 '22 at 19:06

I'm very interested in type theory.