Theoretical Computer Science
paulotorrens's user avatar
paulotorrens's user avatar
paulotorrens's user avatar
paulotorrens
  • Member for 4 years, 10 months
  • Last seen this week
Profile Activity
Stats
377
reputation
2k
reached
1
answer
5
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
1
Score
3
Posts
50
Posts %
1
Score
2
Posts
33
Posts %
1
Score
2
Posts
33
Posts %
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
0
Score
2
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
9
What's the relation between applicative bisimulation and context equivalence in the $\lambda$-calculus?
Feb 20, 2022
question
8
What's the logical counterpart to jumps with arguments on CPS terms?
Jan 12, 2022
question
4
How exactly does a compatible reduction relation change the $\pi$-calculus?
May 26, 2022
question
4
How to prove that a language that allows infinite loops is still not Turing-complete?
Jun 1
answer
1
What's the relation between applicative bisimulation and context equivalence in the $\lambda$-calculus?
Mar 28
question
1
Which are the rules for minimal logic in both sequent calculus and natural deduction styles?
May 2
Top network posts
View all network posts
50
Getting bool from C to C++ and back
29
What precautions should I take to make a memory pool that does not invoke undefined behavior?
19
How to pronounce "⊗¬-category"?
14
PEG.js Get any text between ( and );
11
May I limit memory usage per function/monad/thread in Haskell?

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.