Theoretical Computer Science
Profile Activity
Meta user
Network profile
274
reputation
2
6

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

4
answers
0
questions
~1k
people reached
  • Member for 7 years, 7 months
  • 36 profile views
  • Last seen Apr 18 at 22:17

Communities (18)

Top network posts

Top tags (6)

Score 12
Posts 4
Posts % 100
Score 4
Posts 1
Score 4
Posts 1
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4)

All Questions Answers
Votes Newest
4 Good description of Calculus of Inductive Construction Mar 31 '14
4 What's the expressive/compressive power of strongly normalizing subset of untyped lambda calculus? Jun 14 '18
3 How to generate Skolem function in practice Jun 27 '17
1 How to model degree variable in logic (new type of modal logic?)? Feb 28 '16

Badges (8)

Gold

—

Silver

2

Rarest

Bronze

6

Rarest

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.