Theoretical Computer Science
gadmm's user avatar
gadmm's user avatar
gadmm's user avatar
gadmm
  • Member for 4 years, 9 months
  • Last seen this week
  • Nantes, France
Profile Activity
Stats
197
reputation
1k
reached
4
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges
Top tags
View all tags
16
Score
4
Posts
100
Posts %
12
Score
2
Posts
50
Posts %
7
Score
1
Posts
25
Posts %
7
Score
1
Posts
25
Posts %
6
Score
2
Posts
50
Posts %
5
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
7
Is case analysis on normal forms of lambda terms sufficient to prove parametricity results?
Feb 12, 2019
answer
5
What's the logical counterpart to jumps with arguments on CPS terms?
Jan 13, 2022
answer
3
Which are the rules for minimal logic in both sequent calculus and natural deduction styles?
May 4
answer
1
Connection between strong normalization of the simply typed λ-calculus, and cut elimination for propositional logic
Nov 17

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.