Coinductive axiomatization of recursive type equality and subtyping

32 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications
Publisher	Springer
Publication date	1997
Pages	63-81
Publication status	Published - 1997

Cite this

@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",

}