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 have worked on linear logic, intuitionistic logic and constructive modal logics.

  • Cupertino, CA
  • cs.bham.ac.uk/~vdp
  • Member for 1 year, 5 months
  • 0 profile views
  • Last seen Jul 28 at 13:03