Changeset 3667


Ignore:
Timestamp:
Mar 16, 2017, 7:11:17 PM (6 weeks ago)
Author:
mulligan
Message:

Removed d2.1 citation in proof.tex so that document builds on MiXTeX on Windows.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/proof.tex

    r3666 r3667  
    11501150The essential parts of the intensional proof were outlined during work
    11511151on a toy compiler in Task
    1152 2.1~\cite{d2.1,springerlink:10.1007/978-3-642-32469-7_3}.  These are
     11522.1~\cite{springerlink:10.1007/978-3-642-32469-7_3}.  These are
    11531153\begin{enumerate}
    11541154\item functional correctness, in particular preserving the trace of
Note: See TracChangeset for help on using the changeset viewer.