| 书目名称 | The Parametric Lambda Calculus |
| 副标题 | A Metamodel for Comp |
| 编辑 | Simona Ronchi Della Rocca,Luca Paolini |
| 视频video | |
| 概述 | Completely new presentation of classical results in the Lambda Calculus field together with some new results.Includes supplementary material: |
| 丛书名称 | Texts in Theoretical Computer Science. An EATCS Series |
| 图书封面 |  |
| 描述 | The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational. |
| 出版日期 | Textbook 2004 |
| 关键词 | Artificial Intelligence; Computational Models; Denotational Semantics; Formal Languages; Lambda Calculi; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-662-10394-4 |
| isbn_softcover | 978-3-642-05746-5 |
| isbn_ebook | 978-3-662-10394-4Series ISSN 1862-4499 Series E-ISSN 1862-4502 |
| issn_series | 1862-4499 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
发表于 2025-3-21 17:09:25
