Logo

Compositional Semantics by Gary Hardegree

Small book cover: Compositional Semantics

Compositional Semantics
by

Publisher: UMass Amherst
Number of pages: 350

Description:
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; Categorial Logic - Semantics; Scope and Ambiguity; Applications.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Exploring Programming Language Architecture in PerlExploring Programming Language Architecture in Perl
by
This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.
(12252 views)
Book cover: The Z Notation: A Reference ManualThe Z Notation: A Reference Manual
by - Prentice Hall
The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.
(8358 views)
Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(10993 views)
Book cover: Anatomy of Programming LanguagesAnatomy of Programming Languages
by - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(4909 views)