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
Type logical grammar

Type logical grammar

by Glyn V. Morrill

Type theoryCategorial grammarMontague grammarSemantics (Philosophy)Semantics (philosophy)
0.0
Open Library
Open Library

Themes & subjects

Type theoryCategorial grammarMontague grammarSemantics (Philosophy)Semantics (philosophy)

Author

Glyn V. Morrill

Pages

307

Read time

≈ 8h

Editions

1

Language

English

Publisher

Springer Science

ISBN

9780792332268

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

Behavioural Types

Computer programming · Programming languages (electronic computers)

Behavioural Types

Simon Gay

2017

Basic simple type theory

Programming languages (Electronic computers) · Type theory

Basic simple type theory

J. Roger Hindley

1997

Information and Knowledge

Genetic epistemology · Philosophy

Information and Knowledge

Giuseppe Primiero

2007

Type Theory and Formal Proof

Logic, symbolic and mathematical · Type theory

Type Theory and Formal Proof

Rob Nederpelt

2014

History and philosophy of constructive type theory

Type theory · Mathematics, philosophy

History and philosophy of constructive type theory

Giovanni Sommaruga

2000

Type-theoretical grammar

Comparative and general Grammar · Grammar, Comparative and general

Type-theoretical grammar

Aarne Ranta

1994

An introduction to mathematical logic and type theory

Symbolic and mathematical Logic · Type theory

An introduction to mathematical logic and type theory

P. B. Andrews

1986

A modern perspective on type theory

Type theory · Mathematics

A modern perspective on type theory

Fairouz D. Kamareddine

2004

Language Engineering And Rigorous Software Development

Computer simulation · Information Systems

Language Engineering And Rigorous Software Development

Luis Soares Barbosa

2009

Treatise on intuitionistic type theory

Type theory · Programming languages (electronic computers)

Treatise on intuitionistic type theory

Johan Georg Granström

2011

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