Skip to main content
Theoretical Computer Science
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling
  • Member for 14 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
389
reputation
2k
reached
3
answers
0
questions
Communities
View all
About

type theorist

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
26
Score
3
Posts
100
Posts %
16
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
6
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
Top posts
answer
16
Why is regularity a problem in cubical type theory?
May 15, 2021
answer
6
Type checking, Hypothetical judgments, meaning explanations and computational type theory
Feb 4, 2017
answer
4
Commutativity of Clock Quantification and Disjunction/Existential Quantification in Guarded Type Theories
Jul 18, 2022
Top network posts
View all network posts
169
Retain cycle on `self` with blocks
129
How to use custom delegates in Objective-C
126
NSPredicate: filtering objects by day of NSDate property
114
Why declare a variable in one line, and assign to it in the next?
91
UIImageView - How to get the file name of the image assigned?