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

 

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:

567,269 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 04 (Isomorphisms of types and invertibility of lambda terms)  

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

Guest Editorial Preface

 
 

Preface to the special issue: isomorphisms of types and invertibility of lambda terms

RALPH MATTHES and SERGEI SOLOVIEV

Mathematical Structures in Computer Science, Volume 18, Special Issue 04, August 2008, pp 645-646
doi:10.1017/S0960129508006798 (About doi), Published Online by Cambridge University Press 25 Jul 2008
 

Paper

 
 

Curry-style type isomorphisms and game semantics

JOACHIM DE LATAILLADE

Mathematical Structures in Computer Science, Volume 18, Special Issue 04, August 2008, pp 647-692
doi:10.1017/S0960129508006828 (About doi), Published Online by Cambridge University Press 25 Jul 2008
 

An insertion operator preserving infinite reduction sequences

DAVID CHEMOUIL

Mathematical Structures in Computer Science, Volume 18, Special Issue 04, August 2008, pp 693-728
doi:10.1017/S0960129508006816 (About doi), Published Online by Cambridge University Press 25 Jul 2008
 

Coercions in a polymorphic type system

ZHAOHUI LUO

Mathematical Structures in Computer Science, Volume 18, Special Issue 04, August 2008, pp 729-751
doi:10.1017/S0960129508006804 (About doi), Published Online by Cambridge University Press 25 Jul 2008
 

On the building of affine retractions

ALEKSY SCHUBERT

Mathematical Structures in Computer Science, Volume 18, Special Issue 04, August 2008, pp 753-793
doi:10.1017/S096012950800683X (About doi), Published Online by Cambridge University Press 25 Jul 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press