Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662959 | Journal of Applied Logic | 2014 | 13 Pages |
Abstract
The expressions of a language distinguish between many different types of objects. These types can affect how the meanings of these expressions combine. This paper provides a formal picture of the process of meaning combination in a richly typed framework.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Nicholas Asher,