equal
deleted
inserted
replaced
1 |
1 |
2 @Unpublished{Pitts04, |
2 @Unpublished{Pitts04, |
3 author = {Andrew Pitts}, |
3 author = {Andrew Pitts}, |
4 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
4 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
5 note = {bla}, |
5 note = {Notes for an invited talk given at CTCS}, |
6 year = {2004} |
6 year = {2004} |
7 } |
7 } |
8 |
8 |
9 @incollection{UrbanNipkow09, |
9 @incollection{UrbanNipkow09, |
10 author = {C.~Urban and T.~Nipkow}, |
10 author = {C.~Urban and T.~Nipkow}, |