Lambda-calculus, Types and Models
- ISBN-10
- 0130624071
- ISBN-13
- 9780130624079
- Category
- Mathematics / Discrete Mathematics
- Pages
- 180
- Language
- English
- Published
- 1993
- Publisher
- Ellis Horwood
- Author
- Jean Louis Krivine
Description
This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
Get the book
Similar books
-
Discrete Mathematics with Applications
By William Barnier, Jean B. ChanDigraph Representation of the Four Properties “ R is reflexive ” means that every vertex in the digraph for R has an edge from the vertex to itself . See Figure 2.2.4 ( a ) . Xe у X y х Z ( a ) ( b ) ( c ) FIGURE 2.2.4 х у “ R is ...
-
Introduction to the Theory of Error-correcting Codes
By Vera PlessAn introduction to the theory of error-correction codes, and in particular to linear block codes is provided in this book. It considers such codes as Hamming codes and Golay codes,...
-
Interactive Relational Database Design: A Logic Programming Implementation
By Tapan P. Bagchi, Vinay K. ChaudhriRelational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to...
-
Mathematical Methods and Algorithms for Signal Processing
By Todd K. Moon, Wynn C. StirlingMathematical Methods and Algorithms for Signal Processing tackles the challenge of providing readers and practitioners with the broad tools of mathematics employed in modern signal processing. Building from an...
-
Computation of Special Functions
By Shanjie Zhang, Jian-Ming JinDeals with the automatic computation of special functions which appear in all areas of engineering and the physical sciences. Contains over 100 computer programs written by the authors and describes...
-
Genetic Algorithms in Search, Optimization, and Machine Learning
By David Edward GoldbergA gentle introduction to genetic algorithms. Genetic algorithms revisited: mathematical foundations. Computer implementation of a genetic algorithm. Some applications of genetic algorithms. Advanced operators and techniques in genetic search. Introduction...
-
离散数学
By 郝晓燕主编本书介绍计算机专业必需的离散数学基础知识，包括离散数学四大分支的基础理论，它们是数理逻辑、集合论、代数系统和图论，共8章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用。本书包含较多的与计算机科学和工程有关的例题和习题。本书适合作为高等理工科院校计算机科学与技术、软件工程等相关专业教材，也可供教师、研究生、有关工程技术人员作为参考书。
-
离散数学
By 陈志奎主编本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系，这个体系可以描述集合论中的所有概念；集合论中有3个小模块，即集合、关系、函数，关系是集合中笛卡儿乘积的子集，函数是关系的子集；代数系统是定义函数的运算；图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程的本科生教材，也可作为软件工程与计算机等相关专业的自学参考书。
-
Graph Theoretical Approaches to Chemical Reactivity
By Danail D. Bonchev, O.G. MekenyanThe progress in computer technology during the last 10-15 years has enabled the performance of ever more precise quantum mechanical calculations related to structure and interactions of chemical compounds. However,...
-
Applied Discrete Structures for Computer Science
By Alan Doerr, Kenneth LevasseurApplied Discrete Structures for Computer Science