Theoretical Computer Science
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling
  • Member for 13 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
369
reputation
1k
reached
3
answers
0
questions
top 54% overall
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
24
Score
3
Posts
100
Posts %
14
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
All Questions Answers
Score Newest
answer
14
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
113
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?

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.