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 computer science theory

[Lambda] - calculus and computer science theory

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

Combinatory logicCongressesProgramming languages (Electronic computers)Langages de programmationCongrès
0.0
Open Library
Open Library

Themes & subjects

Combinatory logicCongressesProgramming languages (Electronic computers)Langages de programmationCongrèsLogique combinatoire

Author

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

Pages

370

Read time

≈ 9h

Editions

2

Languages

English, French

Publisher

Springer-Verlag

ISBN

0387074163

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

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

Lambda-calculus, combinators, and functional programming

Combinatory logic · Functional programming languages

Lambda-calculus, combinators, and functional programming

György E. Révész

1988

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800

La nausée

Existentialism · Fiction

La nausée

Jean-Paul Sartre

1938

Rembrandt

Etching · Dutch Painting

Rembrandt

Rembrandt Harmenszoon van Rijn

1900

Capitalism, Socialism and Democracy

Socialism · Democracy

Capitalism, Socialism and Democracy

Joseph Alois Schumpeter

1942

Dicho Y Hecho

English · English speakers

Dicho Y Hecho

Laila M. Dawson

1993

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Documents diplomatiques

Armenian question · Automobiles

Documents diplomatiques

Ministère des Affaires étrangères (France)

1872