coherence and transitivity of subtyping as coherence and transitivity of subtyping as entailment 495

Download Coherence and Transitivity of Subtyping as Coherence and Transitivity of Subtyping as Entailment 495

Post on 24-Jul-2020

0 views

Category:

Documents

0 download

Embed Size (px)

Recommended

View more >