equal
deleted
inserted
replaced
|
1 |
|
2 @inproceedings{cheney05, |
|
3 author = {J.~Cheney}, |
|
4 title = {{T}oward a {G}eneral {T}heory of {N}ames: {B}inding and {S}cope}, |
|
5 booktitle = {Proc.~of the 3rd MERLIN workshop}, |
|
6 year = {2005}, |
|
7 pages = {33-40} |
|
8 } |
1 |
9 |
2 @Unpublished{Pitts04, |
10 @Unpublished{Pitts04, |
3 author = {Andrew Pitts}, |
11 author = {Andrew Pitts}, |
4 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
12 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
5 note = {Notes for an invited talk given at CTCS}, |
13 note = {Notes for an invited talk given at CTCS}, |