Vers une traduction de K en Dedukti - Trente-Troisièmes Journées Francophones des Langages Applicatifs Access content directly
Conference Papers Year :

Dates and versions

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

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, Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03604962⟩
165 View
67 Download

Share

Gmail Facebook Twitter LinkedIn More