Article ID Journal Published Year Pages File Type
4662959 Journal of Applied Logic 2014 13 Pages PDF
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
,