1
reputation
1

Valeria

I am a mathematician and computer scientist based in Cupertino, CA. I like Category Theory and Algebra, as well as Logic, Type Theory and Knowledge Representation. I work on linear logic, intuitionistic logic and constructive modal logics.

  • Cupertino, CA
  • cs.bham.ac.uk/~vdp
  • Member for 5 years, 4 months
  • 1 profile view
  • Last seen Jun 23 at 20:43