Asynchronous communication model based on linear logic Naoki KobayashiAkinori Yonezawa OriginalPaper 21 April 2015 Pages: 113 - 149
Unification: A case-study in data refinement J. M. Spivey OriginalPaper 21 April 2015 Pages: 150 - 168
Predicate transformers as power operations I. RewitzkyC. Brink OriginalPaper 21 April 2015 Pages: 169 - 182
A formal model of explanation Bryan S. ToddRichard Stamper OriginalPaper 21 April 2015 Pages: 207 - 225