Mathematics
user avatar
user avatar
user avatar
jaam
  • Member for 7 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
301
reputation
2k
reached
0
answers
10
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
0
Score
7
Posts
70
Posts %
0
Score
5
Posts
50
Posts %
0
Score
3
Posts
30
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
0
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Score Newest
question
4
Index notation in derivation rules
Jul 21, 2019
question
3
Logic vs. type system
Jun 19, 2015
question
3
A notation for distinctness (in logic)
Jul 10, 2020
question
2
Mistake in Type Theory encyclopedia entry
Jun 15, 2015
question
2
Dependent vs. polymorphic types in modern type theories
Jan 20, 2018
question
2
Interdefinability of set, type and category theories [closed]
Jun 24, 2018
question
1
Notation for "𝑥 is not typed 𝑦"
Nov 25, 2019
question
1
Types as formulas?
Jan 18, 2018
question
0
Define inl : $σ → σ ∨ τ$
Jun 2, 2015
question
0
A better general definition of a predicate
May 2, 2016
Top network posts
View all network posts
6
Word for "truncate to size zero"
6
Languages with a grammatical distinction between abstract and concrete nouns
5
Nix: Querying packages' packages
5
Coq: Defining a subtype
5
What's a multivariate Hidden Markov Model?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.