Coinductive Axiomatization of Recursive Type Equality and Subtyping (1998)

Cached

Download Links

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

Document Versions

Coinductive Axiomatization of Recursive Type Equality and Subtyping –Michael Brandt, Fritz Henglein — 1998
Coinductive axiomatization of recursive type equality and subtyping’. Fundamenta Informaticae 33, 309–338. Invited submission to special issue featuring a selection of contributions to –Michael Brandt, Fritz Henglein — 1998 — the 3d Int’l Conf. on Typed Lambda Calculi and Applications (TLCA
Coinductive Axiomatization of Recursive Type Equality and Subtyping –Michael Brandt, Fritz Henglein — 1998
Coinductive Axiomatization of Recursive Type Equality and Subtyping –Michael Brandt, Fritz Henglein — 1997