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.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Poisson distribution
in the same interval is: λ k e − λ k ! . {\displaystyle {\frac {\lambda ^{k}e^{-\lambda }}{k!}}.} For instance, consider a call center which receives an
Reduction strategy
z)((\lambda w.www)(\lambda w.www)(\lambda w.www)(\lambda w.www))\\\rightarrow &(\lambda x.z)((\lambda w.www)(\lambda w.www)(\lambda w.www)(\lambda w.www)(\lambda
Elliptic function
(z)={\frac {1}{z^{2}}}+\sum _{\lambda \in \Lambda \setminus \{0\}}\left({\frac {1}{(z-\lambda )^{2}}}-{\frac {1}{\lambda ^{2}}}\right).} It is constructed in
Homogeneous coordinates
introduced by August Ferdinand Möbius in his 1827 work Der barycentrische Calcul, are a system of coordinates used in projective geometry, just as Cartesian
Barycentric coordinate system
_{2}y_{2}+\lambda _{3}y_{3}+(1-\lambda _{1}-\lambda _{2}-\lambda _{3})y_{4}\\z&=\lambda _{1}z_{1}+\,\lambda _{2}z_{2}+\lambda _{3}z_{3}+(1-\lambda _{1}-\lambda _{2}-\lambda
Hector (microcomputer)
Victor Lambda) are a series of a microcomputers produced in France in the early 1980s. In January 1980, Michel Henric-Coll founded a company named Lambda Systems
Fourier transform
f(t)=\int _{0}^{\infty }{\bigl (}a(\lambda )\cos(2\pi \lambda t)+b(\lambda )\sin(2\pi \lambda t){\bigr )}\,d\lambda .} This is called an expansion as a
Adjoint state method
\\d_{\lambda }{\mathcal {L}}(u,v,\lambda ;\delta _{\lambda })=\langle D_{v}(u),\delta _{\lambda }\rangle =0\quad &\forall \delta _{\lambda }\in {\mathcal {U}},\end{cases}}}
Optical properties of water and ice
Temperature, and Pressure (IAPWS R9-97) (PDF) (Report). Retrieved 2008-10-08. "Calcul de la masse volumique de l'EAU". Archived from the original on 2020-07-06
Basis (linear algebra)
, b ) = ( λ a , λ b ) , {\displaystyle \lambda (a,b)=(\lambda a,\lambda b),} where λ {\displaystyle \lambda } is any real number. A simple basis of this