Ajout biblio.

these-mickael/main.tex

@@ -22,9 +22,6 @@
 % \usepackage{fourier}
 \usepackage{tgadventor}
 
-\usepackage[backend=biber,style=numeric,firstinits=true,maxbibnames=99,url=false%
-            % url=false,doi=false,isbn=false
-            ]{biblatex}
 
 \usepackage{xspace}
 \usepackage{bm}
@@ -318,8 +315,16 @@ de contraintes pour le typage polymorphe).
 L'objectif, ambitieux, est l'intégration d'un système d'effets au
 langage purement fonctionnel défini lors de la première année. La
 combinaison entre types ensemblistes, polymorphismes et effets n'a
-jusqu'à présent jamais été étudiée. 
-
+jusqu'à présent jamais été étudiée. Elle pose des problèmes théoriques
+(en particulier, la sûreté du typage avec occurrences repose sur une
+notion  de « réduction parallèle » des sous-termes syntaxiquement
+identiques, qui n'est plus possible dès lors que le langage est
+impur). Une piste à explorer est l'utilisation d'effets algébriques,
+introduits par Plotkin \emph{et al}. \cite{PlotkinP03, PlotkinP13} qui
+semble pertinents dans le cadre d'un système de types ensemblistes.
+
+\bibliographystyle{unsrt}
+\bibliography{main}
 \end{document}
 
 %%% Local Variables: