number-theory

PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGEThe Pitt Building, Trumpington Street, Cambridge CB2 1RP, United KingdomCAMBRIDGE UNIVERSITY PRESSThe Edinburgh Building, Cambridge CB2 2RU, United Kingdom40 West 20th Street, New York, NY 10011-4211, USA10 Stamford Road, Oakleigh, Melbourne 3166, Australia© Cambridge University Press 1997This book is in copyright. Subject to statutory exceptionand to the provisions of relevant collective licensing agreements,no reproduction of any part may take place withoutthe written permission of Cambridge University Press.First published 1997Typeset in 10/13 point TimesA catalogue record for this book is available from the British LibraryLibrary of Congress Cataloguing in Publication dataHindley, J. Roger.Basic simple type theory / J. Roger Hindley.p. cm. - (Cambridge tracts in theoretical computer science ; 42)Includes bibliographical references and index.ISBN 0 521 46518 41. Programming languages (Electronic computers) 2. Type theory.1. Title. II. Series.QA76.7.H55 1996005.13-dc2O 95-9058 CIPISBN 0 521 46518 4 hardbackTransferred to digital printing 2002