Public

Predicative polymorphic subtyping

Published in Lecture notes in computer science • Jan 1, 1998

NobleIDNI9P40W00R87S32

Authors:

Marcin Benke

Subject

Predicative expression

Equivalence (formal languages)

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!