Explore: Lambda Calcul
Discover books, insights, and more — all in one place.
Learn more about Lambda Calcul with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “lambda-calcul”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Elements of functional programming
By Chris Reade
“Elements of functional programming” Metadata:
- Title: ➤ Elements of functional programming
- Author: Chris Reade
- Language: English
- Number of Pages: Median: 600
- Publisher: Addison-Wesley
- Publish Date: 1989
- Publish Location: ➤ Reading, Mass - Wokingham, England
“Elements of functional programming” Subjects and Themes:
- Subjects: ➤ Lambda calcul - Interpréteur commande - Évaluation - Functional programming (Computer science) - Polymorphisme - Programmation fonctionnelle - Sémantique dénotationnelle - Type abstrait - Funktionale Programmierung - Programmation fonctionnelle (informatique) - Computer programming
Edition Identifiers:
- The Open Library ID: OL24669804M - OL24764238M
- Online Computer Library Center (OCLC) ID: 19124943
- Library of Congress Control Number (LCCN): 89000036
- All ISBNs: 0201129159 - 9780201129151
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Elements of functional programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Introduction à la théorie des langages de programmation
By Bertrand Meyer
“Introduction à la théorie des langages de programmation” Metadata:
- Title: ➤ Introduction à la théorie des langages de programmation
- Author: Bertrand Meyer
- Number of Pages: Median: 451
- Publisher: Dunod
- Publish Date: 1997
“Introduction à la théorie des langages de programmation” Subjects and Themes:
- Subjects: ➤ Programming languages (Electronic computers) - Problems, exercises - Syntax - Semantics - Lambda calculus - Programming Languages - Axiomatique - Récursion - Syntaxe langage programmation - Sémantique dénotationnelle - Lambda calcul - Sémantique langage - Théorie langage - Langage programmation - Langages de programmation - Problèmes et exercices - Syntaxe - Sémantique - Lambda-calcul - Théorie des langages (informatique)
Edition Identifiers:
- The Open Library ID: OL12592327M
- Online Computer Library Center (OCLC) ID: 27021677
- All ISBNs: 2729604162 - 9782729604165
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Introduction à la théorie des langages de programmation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logique et fondements de l'informatique
By Richard Lassaigne
“Logique et fondements de l'informatique” Metadata:
- Title: ➤ Logique et fondements de l'informatique
- Author: Richard Lassaigne
- Language: fre
- Number of Pages: Median: 248
- Publisher: Hermès
- Publish Date: 1993
- Publish Location: Paris
“Logique et fondements de l'informatique” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer science - Mathematics - Lambda calculus - Recursive functions - Logic programming - Computable functions - First-order logic - Incomplétude - Indécidabilité - Fonction récursive - Programmation en logique - Complétude - Déduction - Calcul propositionnel - Lambda calcul - Calculabilité - Logique 1er ordre - Logique symbolique et mathématique - Informatique - Mathématiques - Lambda-calcul - Fonctions récursives - Programmation logique - Fonctions calculables - Logique du premier ordre - Berechenbarkeit - Lambda-Kalkül - Logik - Stufe 1 - Logique - Manuel - Calcul lambda
Edition Identifiers:
- The Open Library ID: OL38567539M
- Online Computer Library Center (OCLC) ID: 28985507
- All ISBNs: 9782866013806 - 2866013808
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logique et fondements de l'informatique at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Programmer avec Scheme
By Jacques Chazarain
“Programmer avec Scheme” Metadata:
- Title: Programmer avec Scheme
- Author: Jacques Chazarain
- Language: fre
- Number of Pages: Median: 753
- Publisher: ➤ International Thomson publishing France
- Publish Date: 1998
“Programmer avec Scheme” Subjects and Themes:
- Subjects: ➤ Scheme (langage de programmation) - Scheme - Lambda calcul - Programmation SCHEME - Sémantique langage programmation - Calcul propositionnel - Programmation fonctionnelle - Scheme (Langage de programmation) - Scheme (Programmiersprache)
Edition Identifiers:
- The Open Library ID: OL8942773M
- Online Computer Library Center (OCLC) ID: 35993695
- All ISBNs: 2841801314 - 9782841801312
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Programmer avec Scheme at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Logics of programs
By Rohit Parikh
“Logics of programs” Metadata:
- Title: Logics of programs
- Author: Rohit Parikh
- Language: English
- Number of Pages: Median: 424
- Publisher: Springer-Verlag
- Publish Date: 1985
- Publish Location: New York - Berlin
“Logics of programs” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Computer programs - Logique programme - Lambda calcul - Vérification programme - Spécification programme - Programmation en logique - Théorie type - Logique mathématique
Edition Identifiers:
- The Open Library ID: OL2531924M
- Online Computer Library Center (OCLC) ID: 12134885
- Library of Congress Control Number (LCCN): 85012573
- All ISBNs: 0387156488 - 9780387156484
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logics of programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.