%0 Thesis %1 phd/hal/Bensalem85 %A Bensalem, Saddek %D 1985 %K %T Algèbre de programmes dans un univers type. (Program algebra in a type universe).

@phdthesis{phd/hal/Bensalem85, added-at = {2023-12-13T05:52:53.000+0100}, author = {Bensalem, Saddek}, biburl = {https://www.bibsonomy.org/bibtex/27b4055b6bbacfbca1904568bbd0de21f/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00319044}, interhash = {a7a39485e7d095deb75872f1e707ffa0}, intrahash = {7b4055b6bbacfbca1904568bbd0de21f}, keywords = {}, school = {Grenoble Institute of Technology, France}, timestamp = {2023-12-13T05:52:53.000+0100}, title = {Algèbre de programmes dans un univers type. (Program algebra in a type universe).}, year = 1985 }