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
An introduction to functional programming through Lambda calculus

An introduction to functional programming through Lambda calculus

by Greg Michaelson

Lambda calculusFunctional programming (Computer science)Functional programming (computer science)Calculus
0.0
Open Library
Open Library

Themes & subjects

Lambda calculusFunctional programming (Computer science)Functional programming (computer science)Calculus

About the author

Greg Michaelson

1953

Author

Greg Michaelson

Pages

320

Read time

≈ 8h

Editions

1

Language

English

Publisher

Dover Publications

ISBN

9780486478838

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

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

The parametric lambda calculus

Lambda calculus · Logic, symbolic and mathematical

The parametric lambda calculus

Simona Ronchi Della Rocca

2004

Pattern Calculus

Logic design · Computer science

Pattern Calculus

Barry Jay

2009

Typed Lambda Calculi and Applications

Logic design · Symbolic and mathematical Logic

Typed Lambda Calculi and Applications

Luke Ong

2011

Programming Scala

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

Programming Scala

Dean Wampler

2009

Trends in Functional Programming

Functional programming (computer science) · Logic design

Trends in Functional Programming

Jurriaan Hage

2013

Functional Programming, Glasgow 1993

Computer science · Software engineering

Functional Programming, Glasgow 1993

John T. O'Donnell

1994

Steps in Scala

Multiparadigm programming (Computer science) · Functional programming (Computer science)

Steps in Scala

Christos K. K. Loverdos

2010