equal
deleted
inserted
replaced
15 note = {To appear in {\it Journal of Symbolic Computation}} |
15 note = {To appear in {\it Journal of Symbolic Computation}} |
16 } |
16 } |
17 |
17 |
18 @article{GabbayPitts02, |
18 @article{GabbayPitts02, |
19 author = {M.~J.~Gabbay and A.~M.~Pitts}, |
19 author = {M.~J.~Gabbay and A.~M.~Pitts}, |
20 title = {A New Approach to Abstract Syntax with Variable |
20 title = {{A} {N}ew {A}pproach to {A}bstract {S}yntax with {V}ariable |
21 Binding}, |
21 {B}inding}, |
22 journal = {Formal Aspects of Computing}, |
22 journal = {Formal Aspects of Computing}, |
23 volume = {13}, |
23 volume = {13}, |
24 year = 2002, |
24 year = 2002, |
25 pages = {341--363} |
25 pages = {341--363} |
26 } |
26 } |
27 |
27 |
28 @article{Pitts03, |
28 @article{Pitts03, |
29 author = {A.~M.~Pitts}, |
29 author = {A.~M.~Pitts}, |
30 title = {Nominal Logic, A First Order Theory of Names and |
30 title = {{N}ominal {L}ogic, {A} {F}irst {O}rder {T}heory of {N}ames and |
31 Binding}, |
31 {B}inding}, |
32 journal = {Information and Computation}, |
32 journal = {Information and Computation}, |
33 year = {2003}, |
33 year = {2003}, |
34 volume = {183}, |
34 volume = {183}, |
35 pages = {165--193} |
35 pages = {165--193} |
36 } |
36 } |
123 publisher={{SEKI Publications}} |
123 publisher={{SEKI Publications}} |
124 } |
124 } |
125 |
125 |
126 @Article{Cheney06, |
126 @Article{Cheney06, |
127 author = {J.~Cheney}, |
127 author = {J.~Cheney}, |
128 title = {{C}ompleteness and {H}erbrand theorems for {N}ominal {L}ogic}, |
128 title = {{C}ompleteness and {H}erbrand {T}heorems for {N}ominal {L}ogic}, |
129 journal = {Journal of Symbolic Logic}, |
129 journal = {Journal of Symbolic Logic}, |
130 year = {2006}, |
130 year = {2006}, |
131 volume = {71}, |
131 volume = {71}, |
132 number = {1}, |
132 number = {1}, |
133 pages = {299--320} |
133 pages = {299--320} |