Basic simple type theory

Author(s)

• Hindley, J. Roger

Bibliographic Information

Basic simple type theory

J. Roger Hindley

（Cambridge tracts in theoretical computer science, 42）

Cambridge University Press, 1997

• : hbk
• : pbk

Note

Includes bibliographical references and index

Details

• NCID: BA31543853
• ISBN:
  • 0521465184
  • 0521054222
• LCCN: 95009058
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xi, 186 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.7
  • DC20 : 005.13
• Subject Headings:
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Type theory
• Parent Bibliography ID:
  • BA01121831