Categorical Combinators, Sequential Algorithms, and Functional Programming
By P.-L Curien
"Categorical Combinators, Sequential Algorithms, and Functional Programming" is published by Birkhäuser in Sep 27, 2012 - Boston and it has 428 pages.
“Categorical Combinators, Sequential Algorithms, and Functional Programming” Metadata:
- Title: ➤ Categorical Combinators, Sequential Algorithms, and Functional Programming
- Author: P.-L Curien
- Number of Pages: 428
- Publisher: Birkhäuser
- Publish Date: Sep 27, 2012
- Publish Location: Boston
“Categorical Combinators, Sequential Algorithms, and Functional Programming” Subjects and Themes:
- Subjects: ➤ Formal languages - Lambda-Kalkül - Kategorientheorie - Funktionale Programmiersprache - Programming languages (electronic computers) - Computer programming - Algorithms
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL28021177M - OL3899416W
- ISBN-13: 9781461267041 - 9781461203179
- ISBN-10: 1461267048
- All ISBNs: 1461267048 - 9781461267041 - 9781461203179
AI-generated Review of “Categorical Combinators, Sequential Algorithms, and Functional Programming”:
"Categorical Combinators, Sequential Algorithms, and Functional Programming" Description:
Open Data:
Intro -- Progress in Theoretical Computer Science -- Categorical Combinators, Sequential Algorithms, and Functional Programming -- Copyright -- TABLE OF CONTENTS -- PREFACE TO THE SECOND EDITION -- PREFACE -- INTRODUCTION -- 1. CATEGORICAL COMBINATORS -- 2. SEQUENTIAL ALGORITHMS -- 3. CDSO: THE KERNEL OF A FUNCTIONAL LANGUAGE -- 4. THE FULL ABSTRACTION PROBLEM -- CONCLUSION -- 6. MATHEMATICAL PREREQUISITES -- REFERENCES -- INDEX OF DEFINITIONS -- INDEX OF SYMBOLS
Read “Categorical Combinators, Sequential Algorithms, and Functional Programming”:
Read “Categorical Combinators, Sequential Algorithms, and Functional Programming” by choosing from the options below.
Search for “Categorical Combinators, Sequential Algorithms, and Functional Programming” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Categorical Combinators, Sequential Algorithms, and Functional Programming” in Libraries Near You:
Read or borrow “Categorical Combinators, Sequential Algorithms, and Functional Programming” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Categorical Combinators, Sequential Algorithms, and Functional Programming” at a library near you.
Buy “Categorical Combinators, Sequential Algorithms, and Functional Programming” online:
Shop for “Categorical Combinators, Sequential Algorithms, and Functional Programming” on popular online marketplaces.