M. Dezani-Ciancaglini, A. Frisch, E. Giovannetti, and
Y. Motohama
The relevance of semantic subtyping
In ITRS 2002, volume 70.1 of ENTCS Elsevier, 2002
We compare Meyer and Routley's minimal relevant
logic B+ with
the recent semantics-based approach to subtyping
introduced by
Frisch, Castagna and Benzaken in the definition
of a type
system with intersection and union. We show that
- for the
functional core of the system - such notion of
subtyping,
which is defined in purely set-theoretical
terms, coincides
with the relevant entailment of the logic B+.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43