Theoretical Aspects of Computing, pages 173-176

Authors: G. Ciobanu

Abstract | References | BibTeX | Full Text (PDF)

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

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

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: J. Lei, Z. Qiu

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: M. Marin, G. Istrate

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: P. Tarau

Abstract | References | BibTeX | Full Text (PDF)

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

Authors: B. Valiron, S. Zdancewic

Abstract | References | BibTeX | Full Text (PDF)