Communication Dans Un Congrès
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099291
Soumis le : mardi 26 septembre 2006-08:52:33
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00099291 , version 1
Citer
Hélène Kirchner. Algebraic Specifications, Higher-Order Types and Set-Theoretic Models. Winter Workshop in Logics, Types & Rewriting 2000, Feb 2000, Edinburgh, United Kingdom. ⟨inria-00099291⟩
Collections
40
Consultations
0
Téléchargements