The construction of a CPO model for second order lambda calculus with recursion

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationComputing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989)
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
ISBN (Print)90-6196-382-6
Publication statusPublished - 1989

Cite this