当前位置:在线查询网 > 图书大全 > The Lambda Calculus, Its Syntax and Semantics . Revised Edition

The Lambda Calculus, Its Syntax and Semantics . Revised Edition_图书大全


请输入要查询的图书:

可以输入图书全称,关键词或ISBN号

The Lambda Calculus, Its Syntax and Semantics . Revised Edition

ISBN: 9780444875082

出版社: North Holland

出版年: 1985-11-15

页数: 621

定价: USD 133.00

装帧: Paperback

内容简介


The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.