Communication Dans Un Congrès
Année : 2015
Damien Pous : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01288791
Soumis le : mardi 15 mars 2016-16:04:45
Dernière modification le : jeudi 11 mai 2023-11:56:10
Citer
Damien Pous. Coinductive techniques, from automata to coalgebra. Programming Languages Mentoring Workshop, Jan 2015, Mumbai, India. ⟨10.1145/2792434.2792440⟩. ⟨hal-01288791⟩
Collections
122
Consultations
0
Téléchargements