Coinductive axiomatization of recursive type equality and subtyping

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

Coinductive axiomatization of recursive type equality and subtyping. / Brandt, M.; Henglein, Fritz.

In: Fundamentae Informaticae, No. Vol. 33, 1998, p. 309-338.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Brandt, M & Henglein, F 1998, 'Coinductive axiomatization of recursive type equality and subtyping', Fundamentae Informaticae, no. Vol. 33, pp. 309-338.

APA

Brandt, M., & Henglein, F. (1998). Coinductive axiomatization of recursive type equality and subtyping. Fundamentae Informaticae, (Vol. 33), 309-338.

Vancouver

Brandt M, Henglein F. Coinductive axiomatization of recursive type equality and subtyping. Fundamentae Informaticae. 1998;(Vol. 33):309-338.

Author

Brandt, M. ; Henglein, Fritz. / Coinductive axiomatization of recursive type equality and subtyping. In: Fundamentae Informaticae. 1998 ; No. Vol. 33. pp. 309-338.

Bibtex

@article{4205e52074ca11dbbee902004c4f4f50,
title = "Coinductive axiomatization of recursive type equality and subtyping",
author = "M. Brandt and Fritz Henglein",
year = "1998",
language = "English",
pages = "309--338",
journal = "Fundamentae Informaticae",
publisher = "Warsaw University, Poland",
number = "Vol. 33",

}

RIS

TY - JOUR

T1 - Coinductive axiomatization of recursive type equality and subtyping

AU - Brandt, M.

AU - Henglein, Fritz

PY - 1998

Y1 - 1998

M3 - Journal article

SP - 309

EP - 338

JO - Fundamentae Informaticae

JF - Fundamentae Informaticae

IS - Vol. 33

ER -

ID: 214086