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
Domains and lambda-calculi

Domains and lambda-calculi

by Roberto M. Amadio

1998Lambda calculusSemanticsProgramming languages (Electronic computers)Computer science
0.0
Open Library
Open Library

Themes & subjects

Lambda calculusSemanticsProgramming languages (Electronic computers)Computer science
First published 1998

Author

Roberto M. Amadio

First published

1998

Pages

504

Read time

≈ 13h

Editions

3

Language

English

Publisher

Cambridge University Press

ISBN

9780511983504

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

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

The Devil's Dictionary

Humor · English language

The Devil's Dictionary

Ambrose Bierce

1840

Zhonghua da dian

Chinese literature · Bibliography

Zhonghua da dian

"Zhonghua da dian" gong zuo wei yuan hui

1999

On the study of words

English language · Etymology

On the study of words

Richard Chenevix Trench

1852

LTI. Notizbuch eines Philologen

German Propaganda · German language

LTI. Notizbuch eines Philologen

Victor Klemperer

1947

A dictionary of modern English usage

Dictionaries · English language

A dictionary of modern English usage

H. W. Fowler

1926