Mathematics
Meta user
Network profile
142
reputation
6

jaam

Apparently, this user prefers to keep an air of mystery about them.

0
answers
7
questions
~1k
people reached
  • Member for 4 years, 2 months
  • 6 profile views
  • Last seen Jun 17 at 16:54

Communities (16)

Top network posts

Top tags (10)

Score 0
Posts 6
Posts % 86
Score 0
Posts 3
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

2 Logic vs. type system Jun 19 '15
2 Interdefinability of set, type and category theories [closed] Jun 24 '18
1 Types as formulas? Jan 18 '18
1 Mistake in http://plato.stanford.edu/entries/type-theory/#2 Jun 15 '15
0 Define inl : $σ → σ ∨ τ$ Jun 2 '15
0 A better general definition of a predicate May 2 '16
0 Dependent vs. polymorphic types in modern type theories Jan 20 '18

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest