Some category theoretical properties related to a model for a polymorphic lambda-calculus

Research output: Book/ReportReportAcademic

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

Publication series

NameComputing science notes
Volume8903

Cite this