Skip to main navigation Skip to search Skip to main content

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

  • E. Poll

Research output: Book/Report › Report › Academic

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

Publication series

NameComputing science notes
Volume9107

Access to Document

  • 9108600Final published version, 1.22 MB

    Cite this