Stack Overflow
Stack Overflow

lambda.xy.x
4,918
reputation
24
35
  • Member since December 21 2011
  • 598 profile views
  • Last seen Aug 23 '23 at 22:08

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