As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
paulotorrens's user avatar
paulotorrens's user avatar
paulotorrens's user avatar
paulotorrens
  • Member for 7 years, 2 months
  • Last seen this week
Profile Activity
Stats
701
reputation
4k
reached
0
answers
14
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
0
Score
7
Posts
50
Posts %
0
Score
3
Posts
21
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
Why are recursive types needed as primitives for proofs in dependent type systems?
Jan 5, 2017
question
8
Recursive type encoding on System F (and other pure type systems)
Jan 15, 2017
question
6
How to generate branch tables from SSA form?
Aug 12, 2018
question
5
Is there a formalization of the computational model for quantum computers?
Sep 14, 2017
question
5
How could one write typing rules with variables defined at call-site?
Oct 31, 2017
question
4
Is impredicative Set consistent with the excluded middle?
Nov 28, 2017
question
4
Recalculating dominance after changing the entry node
Mar 22, 2018
question
4
Isomorfism between inductive and coinductive types (through double negation)
Sep 8, 2018
question
4
Is it possible to recover induction for nat from W-types?
Jul 28, 2021
question
3
Is $\{a^nb^n\}\cup\{a^nb^{2n}\}$ LR(k)?
Jun 25, 2016
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"?
13
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.