The Rooster and the Syntactic Bracket

Hugo Herbelin, Arnaud Spiwack. The Rooster and the Syntactic Bracket. In Ralph Matthes, Aleksy Schubert, editors, 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France. Volume 26 of LIPIcs, pages 169-187, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Abstract

Abstract is missing.