equal
deleted
inserted
replaced
|
1 @Inproceedings{Altenkirch10, |
|
2 author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury}, |
|
3 title = {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar}, |
|
4 year = 2010, |
|
5 series = "LNCS", |
|
6 pages = "40--55", |
|
7 volume = 6009 |
|
8 } |
|
9 |
|
10 |
1 @InProceedings{ UrbanTasson05, |
11 @InProceedings{ UrbanTasson05, |
2 author = "C. Urban and C. Tasson", |
12 author = "C. Urban and C. Tasson", |
3 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
13 title = "{N}ominal {T}echniques in {I}sabelle/{HOL}", |
4 booktitle = "Proc.~of the 20th CADE Conference", |
14 booktitle = "Proc.~of the 20th CADE Conference", |
5 year = 2005, |
15 year = 2005, |