Login / Signup
A Mechanical Soundness Proof for Subtyping Over Recursive Types.
Timothy Jones
David J. Pearce
Published in:
FTfJP@ECOOP (2016)
Keyphrases
</>
multiresolution
social networks
decision trees
multi agent systems