equal
deleted
inserted
replaced
79 year = {2005}, |
79 year = {2005}, |
80 volume = {3603}, |
80 volume = {3603}, |
81 series = {LNCS} |
81 series = {LNCS} |
82 } |
82 } |
83 |
83 |
|
84 @article{MckinnaPollack99, |
|
85 author = {J.~McKinna and R.~Pollack}, |
|
86 title = {{S}ome {T}ype {T}heory and {L}ambda {C}alculus {F}ormalised}, |
|
87 journal = {Journal of Automated Reasoning}, |
|
88 volume = 23, |
|
89 number = {1-4}, |
|
90 year = 1999 |
|
91 } |
|
92 |
84 @Unpublished{SatoPollack10, |
93 @Unpublished{SatoPollack10, |
85 author = {M.~Sato and R.~Pollack}, |
94 author = {M.~Sato and R.~Pollack}, |
86 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
95 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
87 note = {To appear in {\it J.~of Symbolic Computation}} |
96 note = {To appear in {\it J.~of Symbolic Computation}} |
88 } |
97 } |