Mathematical Structures in Computer Science

Table of Contents - Volume 11 - Issue 04 - 2001

Special Issue: Modalities in Type Theory

Research Articles

 
preview

MATT FAIRTLOUGH, MICHAEL MENDLER and EUGENIO MOGGI

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 507 - 509

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003310 (About DOI), Published online: 25 July 2001

 

Post a Comment

 
preview

FRANK PFENNING and ROWAN DAVIES

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 511 - 540

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003322 (About DOI), Published online: 25 July 2001

 

Post a Comment

 
preview

PETER ACZEL

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 541 - 554

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003309 (About DOI), Published online: 25 July 2001

 

Post a Comment

 
preview

JOËLLE DESPEYROUX and PIERRE LELEU

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 555 - 572

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003346 (About DOI), Published online: 25 July 2001

 

Post a Comment

 
preview

JACOB M. HOWE

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 573 - 588

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003334 (About DOI), Published online: 25 July 2001

 

Post a Comment

 
preview

MAURO FERRARI, CAMILLO FIORENTINI and PIERANGELO MIGLIOLI

Mathematical Structures in Computer Science / Volume 11 / Issue 04 / August 2001, pp 589 - 596

2001 Cambridge University Press

DOI: http://dx.doi.org/10.1017/S0960129501003358 (About DOI), Published online: 25 July 2001

 

Post a Comment