Haskell, Calculus of Constructions, Type Thery

Job ID: 30826651

Budget: €30 – €250 EUR

Hello,

I am looking for someone who has knowledge on Type Theory, Category Theory, Calculus of Constructions (not Calculus.. please don't bid without reading...) etc.

Thank You!

Related categories: JavaScript Algorithm Mathematics Haskell