Communication Dans Un Congrès
Année : 1999
Thomas Ehrhard : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527035
Soumis le : dimanche 17 octobre 2010-23:25:23
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : hal-00527035 , version 1
Citer
Thomas Ehrhard, Nuno Barreiro. Quantitative Semantics Revisited. Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, Apr 1999, L'Aquila, Italy. pp.40-53. ⟨hal-00527035⟩
47
Consultations
0
Téléchargements