Skip to main content
Proof Assistants Beta
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 2 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
516
reputation
3k
reached
3
answers
0
questions
Communities
View all
About

postdoc in (categorical) type theory. Interested in higher categories and modal type theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
20
Score
2
Posts
67
Posts %
20
Score
2
Posts
67
Posts %
17
Score
1
Posts
33
Posts %
17
Score
1
Posts
33
Posts %
17
Score
1
Posts
33
Posts %
14
Score
1
Posts
33
Posts %
Top posts
answer
17
Well-foundedness: classical equivalence of no infinite descent and accessibility
Mar 17, 2022
answer
14
What are "fibration/cofibration" in type theory and what are their intuitions?
Mar 17, 2022
answer
6
Semantics of type theory
Apr 2, 2023
Top network posts
View all network posts
157
Setting an int to Infinity in C++
153
What is the purpose of the "send" function on Python generators?
124
How can I write multiline strings in Haskell?
119
Why doesn't Java 8 include immutable collections?
92
Setting an int to Infinity in C++