Oslo University College / University of Copenhagen Faculty / University of Oslo / /
IndustryTerm
machinery / /
Organization
Oslo University College / Department of Computer Science / Department of Mathematics / University of Copenhagen Faculty of Engineering / University of Oslo / Department of Defense / /
Static Complexity Analysis of Programs Neil D. Jones Lars Kristiansen†‡ In this paper we explicate the proof calculus introduced in Kristiansen & Jones [10].