Labelings for Decreasing Diagrams Harald ZanklBertram FelgenhauerAart Middeldorp OriginalPaper Open access 17 December 2014 Pages: 101 - 133
Verified Compilation of Floating-Point Computations Sylvie BoldoJacques-Henri JourdanGuillaume Melquiond OriginalPaper 06 December 2014 Pages: 135 - 163
On the Fine-Structure of Regular Algebra Simon FosterGeorg Struth OriginalPaper 03 December 2014 Pages: 165 - 197