Stack Overflow
Stack Overflow

Marc
716
reputation
4
11
  • Lyon, France
  • Member since August 22 2010
  • 55 profile views
  • Last seen Jan 04 '21 at 21:30

I'm very interested in type theory.