Theoretical Computer Science
user avatar
user avatar
user avatar
Stéphane Gimenez
  • Member for 10 years, 10 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
All Questions Answers
Score Newest
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
613
Can less retain colored output?
160
What are bitcoin miners really solving?
147
Difference between pts and tty
107
What is the proper sudoers syntax to add a user?
103
What can an attacker with 51% of hash power do?

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.