equal
deleted
inserted
replaced
|
1 |
|
2 |
|
3 |
|
4 @Article{Haines69, |
|
5 author = {L.~H.~Haines}, |
|
6 title = {{O}n {F}ree {M}onoids {P}artially {O}rdered by {E}mbedding}, |
|
7 journal = {Journal of Combinatorial Theory}, |
|
8 year = {1996}, |
|
9 volume = {6}, |
|
10 pages = {94--98} |
|
11 } |
1 |
12 |
2 @inproceedings{Berghofer03, |
13 @inproceedings{Berghofer03, |
3 author = {S.~Berghofer}, |
14 author = {S.~Berghofer}, |
4 title = {{A} {C}onstructive {P}roof of {H}igman's {L}emma in {I}sabelle}, |
15 title = {{A} {C}onstructive {P}roof of {H}igman's {L}emma in {I}sabelle}, |
5 booktitle = {In Proc. of the Workshop on Types}, |
16 booktitle = {In Proc. of the Workshop on Types}, |