The Complex Type •
Published in Cambridge University Press eBooks • Mar 17, 2011
Authors:
Nicholas Asher
Abstract
An important question about TCL remains open from the last chapter: what sort of general type constructors do we need for investigating the meaning shifts evident in coercion, aspect selection, and copredication? The simply typed lambda calculus distinguishes between simple types and functional type...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!