Stack Overflow
Stack Overflow

Marc
716
reputation
4
12
  • Lyon, France
  • Member since August 22 2010
  • 58 profile views
  • Last seen May 26 '22 at 06:45

I'm very interested in type theory.