Coinductive axiomatization of recursive type equality and subtyping

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

35 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications
Forlag	Springer
Publikationsdato	1997
Sider	63-81
Status	Udgivet - 1997

Lecture Notes in Computer Science, Vol.1210

Citationsformater

@inbook{3f04bda074cb11dbbee902004c4f4f50,

title = "Coinductive axiomatization of recursive type equality and subtyping",

author = "Michael Brandt and Fritz Henglein",

note = "Lecture Notes in Computer Science, Vol.1210",

year = "1997",

language = "English",

pages = "63--81",

booktitle = "Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications",

publisher = "Springer",

address = "Switzerland",

}