1 @Inproceedings{Altenkirch10,

     1 @Inproceedings{Altenkirch10,

     2   author = {T.~Altenkirch and N.~A.~Danielsson and A.~L\"oh and N.~Oury},

     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},

     3   title =  {{PiSigma}: {D}ependent {T}ypes {W}ithout the {S}ugar},

     4   year = 2010,

     5   year = 2010,

     5   series = "LNCS",

     6   series = "LNCS",

     6   pages = "40--55",

     7   pages = "40--55",

     7   volume = 6009

     8   volume = 6009

     8 }

     9 }