Andrew Polonsky

611
reputation
6
10

I am a postdoc in computer science at VU Amsterdam. I work in lambda calculus and type theory.