%0 Thesis %1 phd/hal/Scherer16 %A Scherer, Gabriel %D 2016 %K %T Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes).

@phdthesis{phd/hal/Scherer16, added-at = {2023-12-13T05:46:06.000+0100}, author = {Scherer, Gabriel}, biburl = {https://www.bibsonomy.org/bibtex/2316962cf847b36060a4b9dbc8f7d6619/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01309712}, interhash = {a658eeba20614873f2d14905e7376416}, intrahash = {316962cf847b36060a4b9dbc8f7d6619}, keywords = {}, school = {Paris Diderot University, France}, timestamp = {2023-12-13T05:46:06.000+0100}, title = {Which types have a unique inhabitant? : Focusing on pure program equivalence. (Quels types ont un habitant unique ? / Quels types ont un habitant unique ? : Focalisons-nous sur l'équivalence de programmes).}, year = 2016 }