Mathematical structures in computer science (MSCS)

• 

  Año 2005, Vol. 15, Número 5

  • Foreword

    Sergei Soloviev

    • Resumen

    págs. 821-823

    

  • A short survey of isomorphisms of types

    Roberto di Cosmo

    págs. 825-838

    

  • A computational view of implicit coercions in type theory

    Gilles Barthe

    • Resumen

    págs. 839-874

    

  • Isomorphisms of simple inductive types through extensional rewriting

    David Chemouil

    • Resumen

    págs. 875-915

    

  • Efficient algorithms for isomorphisms of simple types

    Joseph Gil, Yoab Zibin

    • Resumen

    págs. 917-957

    

  • Matching with multiplication and exponentiation (extended abstract)

    Bernard Lang

    • Resumen

    págs. 959-968

    

  • Classical isomorphisms of types

    Olivier Laurent

    • Resumen

    págs. 969-1004