Type Theory / Category Theory / Judgements / CoC (Mathematician)

Hello,

I am looking for someone with knowledge on Type Theory and CoC.
Let me know what does CoC (even if you don't know) stand for so that I can understand at least you read the bid.

Thank You.