276
reputation
1
1

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

  • Member for 6 years, 7 months
  • 0 profile views
  • Last seen Feb 28 '16 at 20:13