Haskell, Calculus of Constructions, Type Theory (Mathematician)

Job ID: 30834504

Budget: €30 – €250 EUR

Hello,

Looking for someone with knowledge on Type Theory, CoC etc.
Details of the project will be explained in the chat, provided that you are familiar with these topics.

Thanks.

Related categories: Business, Accounting, Human Resources & Legal Algorithm Mathematics Haskell