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.

Topic Search

Search for any topic

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

Book's cover

“Elements of functional programming” Metadata:

  • Title: ➤  Elements of functional programming
  • Author:
  • Language: English
  • Number of Pages: Median: 600
  • Publisher: Addison-Wesley
  • Publish Date:
  • Publish Location: ➤  Reading, Mass - Wokingham, England

“Elements of functional programming” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Elements of functional programming at online marketplaces:


2Introduction à la théorie des langages de programmation

By

Book's cover

“Introduction à la théorie des langages de programmation” Metadata:

  • Title: ➤  Introduction à la théorie des langages de programmation
  • Author:
  • Number of Pages: Median: 451
  • Publisher: Dunod
  • Publish Date:

“Introduction à la théorie des langages de programmation” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Introduction à la théorie des langages de programmation at online marketplaces:


3Logique et fondements de l'informatique

By

Book's cover

“Logique et fondements de l'informatique” Metadata:

  • Title: ➤  Logique et fondements de l'informatique
  • Author:
  • Language: fre
  • Number of Pages: Median: 248
  • Publisher: Hermès
  • Publish Date:
  • Publish Location: Paris

“Logique et fondements de l'informatique” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Logique et fondements de l'informatique at online marketplaces:


4Programmer avec Scheme

By

Book's cover

“Programmer avec Scheme” Metadata:

  • Title: Programmer avec Scheme
  • Author:
  • Language: fre
  • Number of Pages: Median: 753
  • Publisher: ➤  International Thomson publishing France
  • Publish Date:

“Programmer avec Scheme” Subjects and Themes:

Edition Identifiers:

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:


    5Logics of programs

    By

    Book's cover

    “Logics of programs” Metadata:

    • Title: Logics of programs
    • Author:
    • Language: English
    • Number of Pages: Median: 424
    • Publisher: Springer-Verlag
    • Publish Date:
    • Publish Location: New York - Berlin

    “Logics of programs” Subjects and Themes:

    Edition Identifiers:

    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:



    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