Vers une traduction de K en Dedukti - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2023

Dates and versions

hal-03604962 , version 1 (10-03-2022)

Licence

Identifiers

  • HAL Id : hal-03604962 , version 1

Cite

Amélie Ledein, Valentin Blot, Catherine Dubois. Vers une traduction de K en Dedukti. JFLA 2022 - Journées Francophones des Langages Applicatifs (JFLA), Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03604962⟩
281 View
111 Download

Share

More