equal
deleted
inserted
replaced
235 volume = {3603}, |
235 volume = {3603}, |
236 series = {LNCS} |
236 series = {LNCS} |
237 } |
237 } |
238 |
238 |
239 @article{MckinnaPollack99, |
239 @article{MckinnaPollack99, |
240 author = {J.~McKinna and R.~Pollack}, |
240 author = {J.~McKinna and R.~Pollack}, |
241 title = {{S}ome {T}ype {T}heory and {L}ambda {C}alculus {F}ormalised}, |
241 title = {Some {L}ambda {C}alculus and {T}ype {T}heory {F}ormalized}, |
242 journal = {Journal of Automated Reasoning}, |
242 journal = {Journal of Automated Reasoning}, |
243 volume = 23, |
243 volume = {23}, |
244 number = {1-4}, |
244 number = {3-4}, |
245 year = 1999 |
245 pages = {373-409}, |
|
246 year = {1999} |
246 } |
247 } |
247 |
248 |
248 @article{SatoPollack10, |
249 @article{SatoPollack10, |
249 author = {M.~Sato and R.~Pollack}, |
250 author = {M.~Sato and R.~Pollack}, |
250 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
251 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |