Haskell, Calculus of Constructions, Type Theory

Job ID: 30828734

Budget: €30 – €250 EUR

Hello,

I am looking for someone with knowledge on Type Theory, Category Theory, Calculus of Constructions, Haskell etc.

Thanks.

Related categories: JavaScript Algorithm Mathematics Haskell