1 structures-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" research jobs at Inria, the French national research institute for the digital sciences in France

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 | 2 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