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 and combinators

[Lambda]-calculus and combinators

by J. Roger Hindley

Combinatory logicLambda calculusCalculusLogic
0.0
Open Library
Open Library

Themes & subjects

Combinatory logicLambda calculusCalculusLogic

Author

J. Roger Hindley

Pages

358

Read time

≈ 9h

Editions

1

Language

English

Publisher

Cambridge University Press

ISBN

9780521898850

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, combinators, and functional programming

Combinatory logic · Functional programming languages

Lambda-calculus, combinators, and functional programming

György E. Révész

1988

Language & grammar

Lambda calculus · Grammatical categories

Language & grammar

C. Casadio

2005

The lambda calculus

Lambda calculus · Calculus

The lambda calculus

H. P. Barendregt

1981

Typed Lambda Calculi and Applications

Lambda calculus · Congresses

Typed Lambda Calculi and Applications

Pawel Urzyczyn

1899

Abstract computing machines

Machine theory · Lambda calculus

Abstract computing machines

Werner Kluge

2005

Typed Lambda Calculi and Applications

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Typed Lambda Calculi and Applications

Masahito Hasegawa

2013

Domains and lambda-calculi

Lambda calculus · Semantics

Domains and lambda-calculi

Roberto M. Amadio

1998

Lambda Calculi

Lambda calculus · Calculus

Lambda Calculi

Chris Hankin

1994

Lectures on the Curry-Howard isomorphism

Curry-Howard isomorphism · Lambda calculus

Lectures on the Curry-Howard isomorphism

Morten Heine Sørensen

2006

Typed Lambda Calculi and Applications

Lambda calculus · Congresses

Typed Lambda Calculi and Applications

Jean-Yves Girard

1999

Categories for types

Lambda calculus · Categories (Mathematics)

Categories for types

Roy L. Crole

1993

Language in action

Categorial grammar · Lambda calculus

Language in action

J. F. A. K. van Benthem

1991