Andrew Polonsky
611
reputation
6
10
I am a postdoc in computer science at VU Amsterdam. I work in lambda calculus and type theory.