Main description: This book presents a unique approach towards the study of verbal meaning. It develops a frame-work for capturing the semantics of verbs that is based on the Unified Modeling Language (UML), the lingua franca for the design and modeling of object-oriented system…
This book presents a unique approach to the semantics of verbs. It develops and specifies a decompositional representation framework for verbal semantics that is based on the Unified Modeling Language (UML), the graphical lingua franca for the design and modeling of object-orien…
This book presents a unique approach towards the study of verbal meaning. It develops a frame-work for capturing the semantics of verbs that is based on the Unified Modeling Language (UML), the lingua franca for the design and modeling of object-oriented systems in computer scie…
Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize t…
Annotation