CSL
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
CSL
1999
Springer
14 years 3 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
CSL
1999
Springer
14 years 3 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
CSL
1999
Springer
14 years 3 months ago
1999
Springer
CCL
1999
Springer
14 years 3 months ago
1999
Springer
CCL
1999
Springer
14 years 3 months ago
1999
Springer
CSL
2000
Springer
14 years 3 months ago
2000
Springer
CSL
2000
Springer
14 years 3 months ago
2000
Springer
CSL
2000
Springer
14 years 3 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
CSL
2000
Springer
14 years 3 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...