Isomorphisms of Types

from λ-calculus to information retrieval and language design

Authors:

ISBN: 978-1-4612-7585-5 (Print) 978-1-4612-2572-0 (Online)

Table of contents (7 chapters)

  1. Front Matter

    Pages i-10

  2. No Access

    Chapter

    Pages 11-55

    Introduction

  3. No Access

    Chapter

    Pages 57-84

    Confluence Results

  4. No Access

    Chapter

    Pages 85-99

    Strong normalization for subsystems of λ2 βηπ

  5. No Access

    Chapter

    Pages 101-117

    First-Order Isomorphic Types

  6. No Access

    Chapter

    Pages 119-163

    Second-Order Isomorphic Types

  7. No Access

    Chapter

    Pages 165-204

    Isomorphisms for ML

  8. No Access

    Chapter

    Pages 205-214

    Related works, Future perspectives

  9. Back Matter

    Pages 215-235