Theoretical Aspects of Computing, pages 173-176

Authors: G. Ciobanu

Probabilistic Recursion Theory and Implicit Computational Complexity, pages 177-216

Authors: U. Dal Lago, S. Zuppiroli, M. Gabbrielli

Rely-Guarantee Based Reasoning for Message-Passing Programs, pages 217-252

Authors: J. Lei, Z. Qiu

Learning Cover Context-Free Grammars from Structural Data, pages 253-286

Authors: M. Marin, G. Istrate

Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers, pages 287-323

Authors: P. Tarau

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces, pages 325-368

Authors: B. Valiron, S. Zdancewic