Mathematical Structures in Computer Science, Volume 26
Volume 26, Number 1, January 2016
Introduction
Paper
Benedikt Ahrens:
Modules over relative monads for syntax and semantics. 3-37 Cezar Ionescu:
Vulnerability modelling with functional programming and dependent types. 114-128
Volume 26, Number 2, February 2016
Editorial Preface
Paper
Volume 26, Number 3, March 2016
Editorial Preface
Paper
Luca Padovani:
Fair subtyping for multi-party session types. 424-464
Volume 26, Number 4, May 2016
Paper
Paul Ruet:
Local cycles and dynamical properties of Boolean networks. 702-718
Volume 26, Number 5, June 2016
Paper
Max I. Kanovich:
The undecidability theorem for the Horn-like fragment of linear logic (Revisited). 719-744
Volume 26, Number 6, September 2016
Editorial Preface
Paper
Gavin Lowe:
Models for CSP with availability information. 1022-1053
Volume 26, Number 7, October 2016
Paper
Margherita Zorzi:
On quantum lambda calculi: a foundational perspective. 1107-1195
Volume 26, Number 8, December 2016
Editorial Preface
Paper
maintained by

, founded at
