( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence.

, , и . ESOP (1), том 14576 из Lecture Notes in Computer Science, стр. 269-274. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cyril Cohen

Cyril Bazin

Cyril Grouin

Cyril Mazauric

Cyril Faucher

 

Другие публикации лиц с тем же именем

A bargain for mergesorts (functional pearl) - How to prove your mergesort correct and stable, almost for free., и . CoRR, (2024)Measure Construction by Extension in Dependent Type Theory with Application to Integration., и . CoRR, (2022)The MetaCoq Project., , , , , , , , и . J. Autom. Reason., 64 (5): 947-999 (2020)Unsolvability of the Quintic Formalized in Dependent Type Theory., , , и . ITP, том 193 из LIPIcs, стр. 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Semantics of Probabilistic Programs using s-Finite Kernels in Coq., , и . CPP, стр. 3-16. ACM, (2023)Trocq: Proof Transfer for Free, With or Without Univalence., , и . ESOP (1), том 14576 из Lecture Notes in Computer Science, стр. 239-268. Springer, (2024)Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence., , и . ESOP (1), том 14576 из Lecture Notes in Computer Science, стр. 269-274. Springer, (2024)Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)., , и . FSCD, том 167 из LIPIcs, стр. 34:1-34:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Trocq: Proof Transfer for Free, With or Without Univalence., , и . CoRR, (2023)Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis., , , , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2020)