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
Categories for types

Categories for types

by Roy L. Crole

1993Lambda calculusCategories (Mathematics)Typology (linguistics)Set theory
0.0
Open Library
Open Library

Themes & subjects

Lambda calculusCategories (Mathematics)Typology (linguistics)Set theory
First published 1993

Author

Roy L. Crole

First published

1993

Pages

335

Read time

≈ 8h

Editions

2

Language

English

Publisher

Cambridge University Press

ISBN

9781139172707

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

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

Handbook of Categorical Algebra

Categories (mathematics)

Handbook of Categorical Algebra

Francis Borceux

1994

Measure and category

Categories (Mathematics) · Measure theory

Measure and category

John C. Oxtoby

1971

How to Bake Pi

abstraction · category theory

How to Bake Pi

Eugenia Cheng

2015

Applied categorical and count data analysis

Regression analysis · Categories (Mathematics)

Applied categorical and count data analysis

Wan Tang

2012

x + y

New York Times reviewed · Sex differences (psychology)

x + y

Eugenia Cheng

2020