Mathematical Structures in Computer Science

Table of Contents - Volume 18 - Special Issue 05 (Theory and applications of subtyping) - 2008

Paper

 
preview

ADRIANA COMPAGNONI and HEALFDENE GOGUEN

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 795 - 796

DOI: http://dx.doi.org/10.1017/S0960129508006841 (About DOI), Published online: 06 October 2008

 

Post a Comment

 
preview

ANDREAS ABEL

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 797 - 822

DOI: http://dx.doi.org/10.1017/S0960129508006853 (About DOI), Published online: 06 October 2008

 

Post a Comment

 
preview

MANUEL FÄHNDRICH and JAKOB REHOF

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 823 - 894

DOI: http://dx.doi.org/10.1017/S0960129508006968 (About DOI), Published online: 06 October 2008

 

Post a Comment

 
preview

SIMON J. GAY

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 895 - 930

DOI: http://dx.doi.org/10.1017/S0960129508006944 (About DOI), Published online: 06 October 2008

 

Post a Comment

 
preview

ZHAOHUI LUO and ROBIN ADAMS

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 931 - 972

DOI: http://dx.doi.org/10.1017/S0960129508006956 (About DOI), Published online: 06 October 2008

 

Post a Comment

 
preview

ANTONIO BUCCIARELLI and ANTONINO SALIBRA

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 975 - 1004

DOI: http://dx.doi.org/10.1017/S0960129508006683 (About DOI), Published online: 15 July 2008

 

Post a Comment

 
preview

F. CAGLIARI and S. MANTOVANI

Mathematical Structures in Computer Science / Volume 18 / Special Issue 05 / October 2008, pp 1005 - 1016

DOI: http://dx.doi.org/10.1017/S0960129508006786 (About DOI), Published online: 28 May 2008

 

Post a Comment