Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs (opens in new tab)
A course about the Curry-Howard correspondence, constructive logic and dependent types.
Read the original articleA course about the Curry-Howard correspondence, constructive logic and dependent types.
Read the original article