equal
deleted
inserted
replaced
5 year = 2007, |
5 year = 2007, |
6 pages = {173--184} |
6 pages = {173--184} |
7 } |
7 } |
8 |
8 |
9 @Unpublished{chargueraud09, |
9 @Unpublished{chargueraud09, |
10 author = "Arthur Chargu{\'e}raud", |
10 author = "A.~Chargu{\'e}raud", |
11 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
11 title = "{T}he {L}ocally {N}ameless {R}epresentation", |
12 year = "2009", |
12 year = "2009", |
13 note = "To appear in J.~of Automated Reasoning. |
13 note = "To appear in J.~of Automated Reasoning. |
14 {http://arthur.chargueraud.org/research/2009/ln/}", |
14 {http://arthur.chargueraud.org/research/2009/ln/}", |
15 } |
15 } |
48 year = {2005}, |
48 year = {2005}, |
49 pages = {33-40} |
49 pages = {33-40} |
50 } |
50 } |
51 |
51 |
52 @Unpublished{Pitts04, |
52 @Unpublished{Pitts04, |
53 author = {Andrew Pitts}, |
53 author = {A.~Pitts}, |
54 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
54 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
55 note = {Notes for an invited talk given at CTCS}, |
55 note = {Notes for an invited talk given at CTCS}, |
56 year = {2004} |
56 year = {2004} |
57 } |
57 } |
58 |
58 |