Theoretical Computer Science
Stefan's user avatar
Stefan's user avatar
Stefan's user avatar
Stefan
  • Member for 11 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
390
reputation
2k
reached
9
answers
3
questions
Communities
View all
About

Started using when I was young.

Badges
This user doesn’t have any gold badges yet.
2
silver badges
9
bronze badges
Top tags
View all tags
8
Score
3
Posts
25
Posts %
7
Score
8
Posts
67
Posts %
6
Score
1
Posts
8
Posts %
3
Score
3
Posts
25
Posts %
3
Score
1
Posts
8
Posts %
2
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
Semantic definition of strict positivity for a functor
Feb 3, 2020
answer
6
Impredicativity + large eliminations (with no excluded middle) in Coq
Mar 4, 2021
answer
3
Is it reasonable to allow the type of a λ/∀-bound variable to refer to itself?
Oct 1, 2018
question
2
Composition in explicit substitutions
Apr 16, 2016
answer
2
Bidirectional typing for dependent types: Why are Sigma, Pi synthesized?
May 19, 2021
answer
2
Does Standard ML validate (CBV) eta equivalence?
Jun 24, 2018
answer
1
Higher-rank polymorphism over unboxed types
Feb 12, 2017
question
1
A substitution to add variables in the context
Apr 8, 2020
answer
1
Structural normalization algorithm for the simply typed lambda calculus
Jan 30, 2021
answer
0
Explicit type system with infinite non-cumulative universe hierarchy
Mar 23, 2021
Top network posts
View all network posts
116
Bind key to increase / decrease font size in emacs
59
Practical benefits of new advice system in Emacs 24.4
45
Get rid of "reference to free variable" byte-compilation warnings
43
When should Emacs #'function syntax be used?
40
Emacs: Failed to verify signature archive-contents.sig

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.