equal
deleted
inserted
replaced
|
1 |
|
2 @Unpublished{Pitts04, |
|
3 author = {Andrew Pitts}, |
|
4 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
|
5 note = {bla}, |
|
6 year = {2004} |
|
7 } |
|
8 |
1 @incollection{UrbanNipkow09, |
9 @incollection{UrbanNipkow09, |
2 author = {C.~Urban and T.~Nipkow}, |
10 author = {C.~Urban and T.~Nipkow}, |
3 title = {{N}ominal {V}erification of {A}lgorithm {W}}, |
11 title = {{N}ominal {V}erification of {A}lgorithm {W}}, |
4 booktitle={From Semantics to Computer Science. Essays in Honour of Gilles Kahn}, |
12 booktitle={From Semantics to Computer Science. Essays in Honour of Gilles Kahn}, |
5 editor={G.~Huet and J.-J.~L{\'e}vy and G.~Plotkin}, |
13 editor={G.~Huet and J.-J.~L{\'e}vy and G.~Plotkin}, |