11 search results - page 1 / 3 » Simple monadic theories and indiscernibles |
MLQ
2011
13 years 5 months ago
2011
INFORMATICALT
2008
13 years 11 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
PEPM
2009
ACM
14 years 7 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
IMPERIAL
1993
14 years 3 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
AML
2000
13 years 10 months ago
2000
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...