Searching for "Coinductive Axiomatization of Recursive Type Equality and Subtyping." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Coinductive Axiomatization of Recursive Type Equality and Subtyping
by Michael Brandt, H. J. Holst Vej -a, Fritz Henglein — 1998
…. Keywords: subtyping, type equality, recursive type, coercion, coinduction, operational interpretation…
Cited by 46 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB