Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 18 Special Issue 03

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Mathematical Structures in Computer Science

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • G. Longo, CNRS and Ecole Normale Supérieure, Paris, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 18 - Special Issue 03 (Rewriting calculi, higher-order reductions and patterns)  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Paper

 
 

Rewriting calculi, higher-order reductions and patterns: introduction

HORATIU CIRSTEA and MARIBEL FERNÁNDEZ

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 427-429
doi:10.1017/S0960129508006737 (About doi), Published Online by Cambridge University Press 18 Jun 2008
 

Strong normalisation in two Pure Pattern Type Systems

BENJAMIN WACK and CLÉMENT HOUTMANN

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 431-465
doi:10.1017/S0960129508006749 (About doi), Published Online by Cambridge University Press 18 Jun 2008
 

iRho: an imperative rewriting calculus

LUIGI LIQUORI and BERNARD PAUL SERPETTE

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 467-500
doi:10.1017/S0960129508006750 (About doi), Published Online by Cambridge University Press 18 Jun 2008
 

A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations

DAVID SABEL and MANFRED SCHMIDT-SCHAUSS

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 501-553
doi:10.1017/S0960129508006774 (About doi), Published Online by Cambridge University Press 18 Jun 2008
 

Computation with classical sequents

STEFFEN VAN BAKEL and PIERRE LESCANNE

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 555-609
doi:10.1017/S0960129508006762 (About doi), Published Online by Cambridge University Press 18 Jun 2008
 

Monad compositions II: Kleisli strength

ERNIE MANES and PHILIP MULRY

Mathematical Structures in Computer Science, Volume 18, Special Issue 03, June 2008, pp 613-643
doi:10.1017/S0960129508006695 (About doi), Published Online by Cambridge University Press 26 Feb 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press