Haskell & Calculus of Constructions & Mathematics

Job ID: 30829589

Budget: €30 – €250 EUR

Hello,

Looking for someone with knowledge on CoC and in general Type Theory, Category Theory etc.

Thanks!

Related categories: Algorithm Mathematics Haskell