Theoretical Computer Science Stack Exchange
Theoretical Computer Science Stack Exchange

Marc
646
reputation
4
6
  • Lyon, France
  • Member since September 13 2010
  • 109 profile views
  • Last seen Jul 09 '19 at 12:43

I'm very interested in type theory.