Skip to main content
MathOverflow
Valeria's user avatar
Valeria's user avatar
Valeria's user avatar
Valeria
  • Member for 14 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
179
reputation
5k
reached
2
answers
0
questions
Communities
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
13
Score
1
Posts
50
Posts %
13
Score
1
Posts
50
Posts %
13
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
Top posts
answer
13
How do we construct the Gödel’s sentence in Martin-Löf type theory?
Jun 28, 2017
answer
4
What is the monoidal equivalent of a locally cartesian closed category?
Mar 9, 2021