Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants
or types)? Excerpt of bibliography: * Trocq: Proof transfer for free, with or without univalence, Cyril Cohen, Enzo Crance... Structures in Type Theory:A Study of Natural Numbers, Nicolas Magaud and Yves Bertot Where to apply Website Requirements...
Lugar: Paris | 08/01/2026 00:01:03 AM | Salario: S/. No Especificado