equal
deleted
inserted
replaced
|
1 @InProceedings{GunterOsbornPopescu09, |
|
2 author = {E.L.~Gunter and C.J.~Osborn and A.~Popescu}, |
|
3 title = {{T}heory {S}upport for {W}eak {H}igher {O}rder {A}bstract {S}yntax in |
|
4 {I}sabelle/{HOL}}, |
|
5 booktitle = {Proc.~of the 4th International Workshop on Logical Frameworks and Meta-Languages: |
|
6 Theory and Practice (LFMTP)}, |
|
7 pages = {12--20}, |
|
8 year = {2009}, |
|
9 series = {ENTCS} |
|
10 } |
|
11 |
1 @Unpublished{SatoPollack10, |
12 @Unpublished{SatoPollack10, |
2 author = {M.~Sato and R.~Pollack}, |
13 author = {M.~Sato and R.~Pollack}, |
3 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
14 title = {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus}, |
4 note = {To appear in {\it Journal of Symbolic Computation}} |
15 note = {To appear in {\it Journal of Symbolic Computation}} |
5 } |
16 } |