274
reputation
2
5

lambda.xy.x

my main topics are proof theory (cut-elimination and proof mining), functional programming and logic programming (mainly ocaml, haskell and prolog) and dipping a bit into imperative or mixed paradigm languages (scala, java, c++, python, etc..)

4
answers
0
questions
~826
people reached
  • Member for 5 years, 6 months
  • 27 profile views
  • Last seen 2 days ago

Top tags (6)

Score 12
Posts 4
Posts % 100
Score 4
Posts 1
Score 4
Posts 1
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

2

Rarest

Bronze

5

Rarest