Some algorithms to decide the equivalence of recursive types

Research output: Book/ReportReportAcademic

42 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages26
Publication statusPublished - 1991

Publication series

NameComputing science notes
Volume9131

Cite this

Eikelder, ten, H. M. M. (1991). Some algorithms to decide the equivalence of recursive types. (Computing science notes; Vol. 9131). Technische Universiteit Eindhoven.