Theoretical Computer Science
Profile Activity
Meta user
Network profile
356
reputation
3
11

Stéphane Gimenez

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.

3
answers
0
questions
~1k
people reached
  • Innsbruck, Austria
  • Member for 10 years
  • 57 profile views
  • Last seen Sep 11 '19 at 12:32

Communities (25)

Top network posts

Top tags (4)

Score 21
Posts 2
Posts % 67
Score 14
Posts 2
Score 10
Posts 1
Score 10
Posts 1

Top posts (3)

All Questions Answers
Votes Newest
11 Are a few hundred reduction steps too many to get the normal form of Y fac ⌜3⌝? Jul 23 '11
10 Is MALL + unrestricted recursive types Turing-complete? Jan 13 '13
3 Lambda Calculus - are these two expressions equivalent? Jan 27 '12

Badges (14)

Gold

—

Silver

3

Rarest

Bronze

11

Rarest

View all badges →

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.