Calculus of Constructions / Category Theory / Haskell
Budget: €8 – €30 EUR
Hello,
I am looking for someone with knowledge on Type Theory, Category Theory, Calculus of Constructions, Haskell language etc.
Due to the immense number of unrelated bids, kindly let me know in your bid if you have experience in Type Theory in general.
Thank You,
Sincerely.
I am looking for someone with knowledge on Type Theory, Category Theory, Calculus of Constructions, Haskell language etc.
Due to the immense number of unrelated bids, kindly let me know in your bid if you have experience in Type Theory in general.
Thank You,
Sincerely.
Related categories:
C Programming
Business, Accounting, Human Resources & Legal
Algorithm
Mathematics