Cpo-models for second order lambda calculus with recursive types and subtyping

E. Poll

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume9107

Cite this