lambda.xy.x
  • Member for 4 years, 6 months
  • Last seen more than 1 year ago
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.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %
5
Score
1
Posts
100
Posts %