141
reputation
4

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..)

1
answer
0
questions
~821
people reached
  • Member for 3 years
  • 16 profile views
  • Last seen Mar 4 at 13:25

Top tags (4)

Score 4
Posts 1
Posts % 100
Score 4
Posts 1
Score 4
Posts 1
Score 4
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest