Doctorant F/H Encoding Agda and coinduction in Dedukti

Express in Dedukti the theory of Adga, in particular co-inductive types. The 450 researchers and engineers from Inria and its partners who work in the research…