Vers une traduction de K en Dedukti - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-03604962 , version 1

Citer

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⟩
261 Consultations
99 Téléchargements

Partager

More