Sciweavers

1471 search results - page 2 / 295
» Church: a language for generative models
Sort
View
IWFM
1998
15 years 29 days ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi
128
Voted
TLCA
1995
Springer
15 years 3 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen