3319 search results - page 44 / 664 » Type Theoretical Databases |
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
FSS
2008
14 years 9 months ago
2008
In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzz...
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
XML Schema awareness has been an integral part of the XQuery language since its early design stages. Matching XML data against XML types is the main operation that backs up XQuery...