Mathematical Structures in Computer Science

Table of Contents - Volume  23  - Issue 05 - Tue Oct 01 00:00:00 BST 2013

Paper

A logical framework combining model and proof theory

 
preview

FLORIAN RABE

Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp 945 - 1001

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129512000424 (About DOI), Published online: Fri Mar 01 00:00:00 GMT 2013

 

Post a Comment

Imaginary groups: lazy monoids and reversible computation

 
preview

MURDOCH J. GABBAY and PETER H. KROPHOLLER

Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp 1002 - 1031

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129512000849 (About DOI), Published online: Wed May 15 00:00:00 BST 2013

 

Post a Comment

A certified lightweight non-interference Java bytecode verifier

 
preview

GILLES BARTHE, DAVID PICHARDIE and TAMARA REZK

Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp 1032 - 1081

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129512000850 (About DOI), Published online: Fri May 17 00:00:00 BST 2013

 

Post a Comment

Regular functors and relative realisability categories

 
preview

WOUTER PIETER STEKELENBURG

Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp 1082 - 1110

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129512000990 (About DOI), Published online: Thu Apr 18 00:00:00 BST 2013

 

Post a Comment

Front Cover (OFC, IFC) and matter

MSC volume 23 issue 5 Cover and Front matter

 
preview
Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp f1 - f2

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129513000480 (About DOI), Published online: Wed Aug 28 00:00:00 BST 2013

 

Post a Comment

Back Cover (IBC, OBC) and matter

MSC volume 23 issue 5 Cover and Back matter

 
preview
Mathematical Structures in Computer Science / Volume  23 / Issue 05 / Tue Oct 01 00:00:00 BST 2013, pp b1 - b4

Copyright © Cambridge University Press 2013 

DOI: http://dx.doi.org/10.1017/S0960129513000492 (About DOI), Published online: Wed Aug 28 00:00:00 BST 2013

 

Post a Comment