106
Voted
CSL
1999
Springer
15 years 5 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...
94
Voted
CSL
1999
Springer
15 years 5 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...
75
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
