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
Language in action

Language in action

by J. F. A. K. van Benthem

1991Categorial grammarLambda calculusLanguage and logicLogic, Symbolic and mathematicalMathematical linguistics
0.0
Open Library
Open Library

Themes & subjects

Categorial grammarLambda calculusLanguage and logicLogic, Symbolic and mathematicalMathematical linguisticsSymbolic and mathematical Logic
First published 1991

About the author

J. F. A. K. van Benthem

1949

Author

J. F. A. K. van Benthem

First published

1991

Pages

365

Read time

≈ 9h

Editions

2

Language

English

Publisher

North-Holland

ISBN

0444890009

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

Categorial investigations

Calculus · Categorial grammar

Categorial investigations

Michael Moortgat

1988

Functor analysis of natural language

Categorial grammar · Functor theory

Functor analysis of natural language

John Lehrberger

1974

Categorial grammars

Categorial grammar · Grammaire catégorielle

Categorial grammars

Mary McGee Wood

1993

Language & grammar

Lambda calculus · Grammatical categories

Language & grammar

C. Casadio

2005

Categorial Grammars and Natural Language Structures

Categorial grammar · Linguistics

Categorial Grammars and Natural Language Structures

Emmon Bach

1899

Categorial grammar and word-formation

English language · Adjective

Categorial grammar and word-formation

Karl Reichl

1900

Copulas

Comparative and general Grammar · Copula

Copulas

Regina Pustet

2003

Categories and case

Korean language · Morphology

Categories and case

William D. O'Grady

1990

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

The parametric lambda calculus

Lambda calculus · Logic, symbolic and mathematical

The parametric lambda calculus

Simona Ronchi Della Rocca

2004