fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Lambda-calculus, combinators, and functional programming

Lambda-calculus, combinators, and functional programming

by György E. Révész

Combinatory logicFunctional programming languagesLambda calculusComputer programming
0.0
Open Library
Open Library

Themes & subjects

Combinatory logicFunctional programming languagesLambda calculusComputer programming

Author

György E. Révész

Pages

181

Read time

≈ 5h

Editions

1

Language

English

Publisher

Cambridge University Press

ISBN

0521345898

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

[Lambda] - calculus and computer science theory

Combinatory logic · Congresses

[Lambda] - calculus and computer science theory

Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)

1975

The Combinatory Programme (Progress in Theoretical Computer Science)

Combinatory logic · Combinatorial analysis

The Combinatory Programme (Progress in Theoretical Computer Science)

Erwin Engeler

1994

Algebra of proofs

Categories (Mathematics) · Combinatory logic

Algebra of proofs

M. E. Szabo

1978

Coding, cryptography, and combinatorics

Congresses · Combinatory logic

Coding, cryptography, and combinatorics

Workshop on Coding, Cryptography, and Combinatorics (2003 Huangshan Shi, China)

2004

Casebook in correctional casework

Social work with delinquents and criminals · Combinatory logic

Casebook in correctional casework

Council on Social Work Education. Committee on Corrections.

1958

Opere lulliane

Early works to 1800 · Combinatory logic

Opere lulliane

Giordano Bruno

2012

[Lambda]-calculus and combinators

Combinatory logic · Lambda calculus

[Lambda]-calculus and combinators

J. Roger Hindley

2008

Programming Scala

Multiparadigm programming (Computer science) · Programming languages (Electronic computers)

Programming Scala

Dean Wampler

2009

Purely functional data structures

Functional programming languages · Data structures (Computer science)

Purely functional data structures

Chris Okasaki

1998

The functional approach to programming

Functional programming (Computer science) · Computer programming

The functional approach to programming

Guy Cousineau

1998

Two-level functional languages

Functional programming languages · Computational linguistics

Two-level functional languages

Flemming Nielson

2005

Implementation and Application of Functional Languages

Mathematical Logic and Formal Languages · Logic design

Implementation and Application of Functional Languages

Andy Gill

2012

Implementation of functional languages

Congresses · Functional programming languages

Implementation of functional languages

Pieter Koopman

2001

Expert F#

F# (Langage de programmation) · Langages de programmation fonctionnels

Expert F#

Don Syme

2007

Lazy functional languages

Functional programming languages · Functional programming (computer science)

Lazy functional languages

Geoffrey Burn

1991

Functional Programming Languages and Computer Architecture

Congresses · Functional programming languages

Functional Programming Languages and Computer Architecture

Jean-Pierre Jouannaud

1986

Practical OCaml

Functional programming (Computer science) · Functional programming languages

Practical OCaml

Joshua B. Smith

2006

Algorithms

Computer algorithms · Functional programming languages

Algorithms

Fethi Rabhi

1999