Communication Dans Un Congrès
Année : 2010
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00524775
Soumis le : vendredi 8 octobre 2010-17:06:44
Dernière modification le : vendredi 24 mars 2023-14:52:53
Dates et versions
Identifiants
- HAL Id : hal-00524775 , version 1
Citer
Beniamino Accattoli, Delia Kesner. The structural lambda-calculus. Annual Conference on Computer Science and Logic (CSL), Aug 2010, Brno, Czech Republic. pp.381-395. ⟨hal-00524775⟩
Collections
18
Consultations
0
Téléchargements