1. A certified lightweight non-interference Java bytecode verifier†. (October 2013) Authors: BARTHE, GILLES; PICHARDIE, DAVID; REZK, TAMARA Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: 1032 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A logical framework combining model and proof theory. (October 2013) Authors: RABE, FLORIAN Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: 945 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Imaginary groups: lazy monoids and reversible computation. (October 2013) Authors: GABBAY, MURDOCH J.; KROPHOLLER, PETER H. Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: 1002 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. MSC volume 23 issue 5 Cover and Back matter. (28th August 2013) Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: b1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. MSC volume 23 issue 5 Cover and Front matter. (28th August 2013) Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: f1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Regular functors and relative realisability categories. (October 2013) Authors: STEKELENBURG, WOUTER PIETER Journal: Mathematical structures in computer science Issue: Volume 23:Number 5(2013) Page Start: 1082 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗