Related links: Cost semantics http://lambda-the-ultimate.org/node/5021 http://lambda-the-ultimate.org/node/5021 Recent efforts to bring together "logical" CS

Related links: Cost semantics http://lambda-the-ultimate.org/node/5021 http://lambda-the-ultimate.org/node/5021 Recent efforts to bring together "logical" CS (lambda calculus, type theory, etc.) and "combinatorial" CS (machine models, big-O, etc.) http://existentialtype.wordpress.com/2014/09/28/structure-and-efficiency-of-computer-programs/ http://existentialtype.wordpress.com/2014/09/28/structure-an...