\begin{thebibliography}{Pfe92}

\bibitem[Cer]{Cervesato99pllf}
Iliano Cervesato.
\newblock Propositional linear logical framework.
\newblock Manuscript.

\bibitem[Pfe92]{Pfenning94un}
Frank Pfenning.
\newblock Computation and deduction.
\newblock Unpublished lecture notes, 277 pp. Revised May 1994, April 1996, May
  1992.

\end{thebibliography}
