lambda.xy.x
  • Member for 8 years, 1 month
  • Last seen more than a month ago
Stats
274
reputation
1k
reached
4
answers
0
questions
Loading…
About

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

Badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
12
Score
4
Posts
100
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %