Skip to main navigation Skip to search Skip to main content

Some categorical properties for a model for second order lambda calculus with subtyping

  • E. Poll

Research output: Book/Report › Report › Academic

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

Publication series

NameComputing science notes
Volume9119

Cite this