2152 search results - page 10 / 431 » On Automating the Calculus of Relations |
103
Voted
CSL
1999
Springer
15 years 4 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...
KR
2010
Springer
15 years 5 months ago
2010
Springer
83
Voted
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
67
Voted
DLOG
2007
15 years 2 months ago
2007