小哈图书下载中心

Lambda-calculus, Combinators and Functional Programming pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

G. E. Revesz

Cambridge University Press

2009-6-25

192

USD 52.00

Paperback

Cambridge Tracts in Theoretical Computer Science

9780521114295

图书标签: FP λ-calculus 计算机函数式语言计算机科学编程程序语言 programming

喜欢 Lambda-calculus, Combinators and Functional Programming 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-06-18

Lambda-calculus, Combinators and Functional Programming epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

Lambda-calculus, Combinators and Functional Programming pdf epub mobi txt 电子书下载 2024

图书描述

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

Lambda-calculus, Combinators and Functional Programming 下载 mobi epub pdf txt 电子书