CSL 1999 | Sciweavers

6

CSL
1999
Springer

139views Automated Reasoning» more CSL 1999»

13 years 8 months ago

This paper gives the ﬁrst proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...

Adriana B. Compagnoni, Healfdene Goguen

claim paper

Read More »

10

click to vote

CSL
1999
Springer

90views Automated Reasoning» more CSL 1999»

A Road-Map on Complexity for Hybrid Logics

13 years 8 months ago

Download www.loria.fr

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...

Carlos Areces, Patrick Blackburn, Maarten Marx

claim paper

Read More »

7

click to vote

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

13 years 8 months ago