equal
deleted
inserted
replaced
49 \paragraph{2-3 trees} |
49 \paragraph{2-3 trees} |
50 Equational definitions were given by Hoffmann and |
50 Equational definitions were given by Hoffmann and |
51 O'Donnell~\cite{HoffmannOD-TOPLAS82} (only insertion) |
51 O'Donnell~\cite{HoffmannOD-TOPLAS82} (only insertion) |
52 and Reade \cite{Reade-SCP92}. |
52 and Reade \cite{Reade-SCP92}. |
53 Our formalisation is based on the teaching material by |
53 Our formalisation is based on the teaching material by |
54 Turbak~\cite{Turbak230} . |
54 Turbak~\cite{Turbak230} and the article by Hinze~\cite{jfp/Hinze18}. |
55 |
55 |
56 \paragraph{1-2 brother trees} |
56 \paragraph{1-2 brother trees} |
57 They were invented by Ottmann and Six~\cite{OttmannS76,OttmannW-CJ80}. |
57 They were invented by Ottmann and Six~\cite{OttmannS76,OttmannW-CJ80}. |
58 The functional version is due to Hinze~\cite{Hinze-bro12}. |
58 The functional version is due to Hinze~\cite{Hinze-bro12}. |
59 |
59 |