201
click to vote
CSL
1999
Springer
16 years 1 days 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...
205
click to vote
CSL
1999
Springer
16 years 1 days 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...
189
click to vote
CSL
1999
Springer
16 years 1 days 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...
158
Voted
CSL
1999
Springer
16 years 1 days ago
1999
Springer
157
Voted
CSL
2000
Springer
16 years 3 days ago
2000
Springer
152
Voted
CSL
2000
Springer
16 years 3 days ago
2000
Springer
218
Voted
CSL
2000
Springer
16 years 3 days 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...
162
click to vote
CSL
2000
Springer
16 years 3 days 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...