Coinductive axiomatization of recursive type equality and subtyping

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

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

I: Fundamentae Informaticae, Nr. Vol. 33, 1998, s. 309-338.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Brandt, M & Henglein, F 1998, 'Coinductive axiomatization of recursive type equality and subtyping', Fundamentae Informaticae, nr. Vol. 33, s. 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. I: Fundamentae Informaticae. 1998 ; Nr. Vol. 33. s. 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