1864 search results - page 5 / 373 » Formal topology and domains |
JSYML
2007
13 years 6 months ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
APAL
2006
13 years 6 months ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
ACL
2001
13 years 7 months ago
2001
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...
FODO
1989
Springer
13 years 9 months ago
1989
Springer
JSYML
2000
13 years 6 months ago
2000