Skip to main content
Theoretical Computer Science
Stéphane Gimenez's user avatar
Stéphane Gimenez's user avatar
Stéphane Gimenez's user avatar
Stéphane Gimenez
  • Member for 13 years, 5 months
  • Last seen more than a month ago
  • Innsbruck, Austria
Profile Activity
Stats
356
reputation
1k
reached
3
answers
0
questions
Communities
View all
About

Computer scientist, interested in logics, programming languages, parallel and distributed computation, photography, cryptocurrencies. I live on open source software. I also like to climb mountains and play this ancient game called go.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
21
Score
2
Posts
67
Posts %
14
Score
2
Posts
67
Posts %
10
Score
1
Posts
33
Posts %
10
Score
1
Posts
33
Posts %
Top posts
answer
11
Are a few hundred reduction steps too many to get the normal form of Y fac ⌜3⌝?
Jul 23, 2011
answer
10
Is MALL + unrestricted recursive types Turing-complete?
Jan 13, 2013
answer
3
Lambda Calculus - are these two expressions equivalent?
Jan 27, 2012
Top network posts
View all network posts
701
Can less retain colored output?
169
Difference between pts and tty
162
What are bitcoin miners really solving?
118
What is the proper sudoers syntax to add a user?
104
What can an attacker with 51% of hash power do?