1 structures "https:" "https:" "https:" Postdoctoral positions at Inria, the French national research institute for the digital sciences

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 months ago

Tollitte Changing Data Representation within the Coq System, Nicolas Magaud Changing Data Structures in Type Theory:A Study of Natural Numbers, Nicolas Magaud and Yves Bertot Where to apply Website https