Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels

Abstract : Non disponible / Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1997_0173_BENAISSA.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01747439
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 10:59:58 AM
Last modification on : Tuesday, January 29, 2019 - 1:21:50 AM

Identifiers

  • HAL Id : tel-01747439, version 1

Collections

Citation

Zine-Ei-Abidine Benaissa. Les calculs de substitutions explicites comme fondement des implantations des langages fonctionnels. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10173⟩. ⟨tel-01747439⟩

Share

Metrics

Record views

4