Coinductive Axiomatization of Recursive Type Equality and Subtyping (1998)

Cached

Download Links

by Michael Brandt , Fritz Henglein
Citations:65 - 2 self