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
The Combinatory Programme (Progress in Theoretical Computer Science)

The Combinatory Programme (Progress in Theoretical Computer Science)

by Erwin Engeler

1994Combinatory logicCombinatorial analysis
0.0
Open Library
Open Library

Themes & subjects

Combinatory logicCombinatorial analysis
First published 1994

Author

Erwin Engeler

First published

1994

Pages

156

Read time

≈ 4h

Editions

2

Language

English

Publisher

Birkhäuser

ISBN

9780817638016

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

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

Lambda-calculus, combinators, and functional programming

Combinatory logic · Functional programming languages

Lambda-calculus, combinators, and functional programming

György E. Révész

1988

The probabilistic method

Combinatorial analysis · Mathematics

The probabilistic method

Noga Alon

1992

Models, Algorithms and Technologies for Network Analysis

System analysis · Mathematical optimization

Models, Algorithms and Technologies for Network Analysis

Mikhail V. Batsyn

2012

Discrete and combinatorial mathematics

Mathematics · Computer science

Discrete and combinatorial mathematics

Ralph P. Grimaldi

1985

Polyominoes

Polyominoes · Mathematical recreations

Polyominoes

Solomon W. Golomb

1965

Combinatorial Image Analysis

Combinatorial analysis · Computer graphics

Combinatorial Image Analysis

Reneta P. Barneva

2008

Combinatorial theory

Combinatorial analysis · Combinatorial optimization

Combinatorial theory

Hall, Marshall

1967

Applied combinatorics

Graph theory · Combinatorial analysis

Applied combinatorics

Alan C. Tucker

1980

Notes on introductory combinatorics

Combinatorial analysis · Combinatieleer

Notes on introductory combinatorics

George Pólya

1983

Introductory combinatorics

Combinatorial analysis · Textbooks

Introductory combinatorics

Richard A. Brualdi

1977

Combinatorial Optimization

Mathematical optimization · Combinatorial analysis

Combinatorial Optimization

Bernhard Korte

2005

Analysis and Design of Algorithms

Mathematics · Computer algorithms

Analysis and Design of Algorithms

Amrinder Arora

2014